Seminars, Workshops, and More

2025

Bypass and Beyond: Extension–Contraction Strategies for Escaping Training Stagnation and Achieving Lossless Pruning
How well can algebraically grounded methods tackle optimization and model compression challenges in deep learning?
Nov 5, 2025 2:00 PM — 3:00 PM Room 7323, Korea Institute of Advanced Study
Bypass Catalyst KIAS
Bypass and Beyond: Extension–Contraction Strategies for Escaping Training Stagnation and Achieving Lossless Pruning
AIML@K Fall 2025 Workshop
The 7th AIML@K Workshop happens, this time with DLMath again (and tries poster only)
Sep 12, 2025 10:13 AM — 10:16 AM 6th Floor Lobby, Asan Science Building
AIML@K Fall 2025 Workshop
Position: Solve Layerwise Linear Models First to Understand Neural Dynamical Phenomena (Neural Collapse, Emergence, Lazy/Rich Regime, and Grokking)
Can layerwise linear models simplify complex neural network dynamics and speed up deep learning research?
Jul 4, 2025 2:00 PM — 3:00 PM Room 526, Asan Science Building
ICML ArXiv
Position: Solve Layerwise Linear Models First to Understand Neural Dynamical Phenomena (Neural Collapse, Emergence, Lazy/Rich Regime, and Grokking)
Korea University Physics Prof. Alex Rothkopf's Talk
The talk will be about AI and quantum computing
Jun 30, 2025 1:00 PM — 2:00 PM Room 526, Asan Science Building
Korea University Physics Prof. Alex Rothkopf's Talk
Autoformalization and Automated Theorem Proving with Language Models
Can language models translate natural language math into formal proofs (autoformalization) and more?
Jun 27, 2025 1:30 PM — 2:30 PM Room 526, Asan Science Building
KMS
Autoformalization and Automated Theorem Proving with Language Models
An Exactly Solvable Model for Emergence and Scaling Laws in the Multitask Sparse Parity Problem
Can an analytically solvable model explain emergent behaviors and scaling laws in multitask learning, showing how new skills appear as training progresses?
Jun 17, 2025 1:00 PM — 2:00 PM Room 526, Asan Science Building
NeurIPS Poster ArXiv
An Exactly Solvable Model for Emergence and Scaling Laws in the Multitask Sparse Parity Problem
Formalizing Mathematics: Why and How
Formalization in mathematics – translating math into computer-readable language – is growing into successful projects!
May 26, 2025 4:00 PM — 5:00 PM Room 526, Asan Science Building
KMS
Formalizing Mathematics: Why and How
AIML@K Spring 2025 Workshop
The 6th AIML@K Workshop invites DLMath and AMath
Apr 4, 2025 10:00 AM — 5:00 PM 633 Asan Science Building
AIML@K Spring 2025 Workshop

2024

AIML@K 2024 Fall Workshop
The 5th AIML@K Workshop takes place on September 6, 2024
Sep 6, 2024 11:30 AM — 5:00 PM 633 Asan Science Building
AIML@K 2024 Fall Workshop
AIML@K Spring 2024 Workshop
The 4th AIML@K Workshop takes place!
Mar 8, 2024 Yoo-Im-Soon Hall, Mediheal Earth and Environment Science Building
AIML@K Spring 2024 Workshop

2023

AIML@K 2023 Fall Workshop
The 3rd AIML@K Workshop takes place!
Sep 15, 2023 Yoo-Im-Soon Hall, Mediheal Earth and Environment Science Building
AIML@K 2023 Fall Workshop
AIML@K 2023 Spring Workshop
The 2nd AIML@K Workshop takes place!
Mar 17, 2023 Room 535, Asan Science Building
AIML@K 2023 Spring Workshop