Category: New Technologies in Mathematics Seminar |
Title: Machine learning tools for mathematical discovery |
Category: New Technologies in Mathematics Seminar |
Title: Discovery of unstable singularity with machine precision |
Category: New Technologies in Mathematics Seminar |
Title: The Carleson project: A collaborative formalization |
Category: New Technologies in Mathematics Seminar |
Title: Understanding Optimization in Deep Learning with Central Flows |
Category: New Technologies in Mathematics Seminar |
Title: Tropicalized quantum field theory |
Category: New Technologies in Mathematics Seminar |
Title: Machine learning for analytic calculations in theoretical physics |
Category: New Technologies in Mathematics Seminar |
Title: Can Transformers Do Enumerative Geometry? |
Category: New Technologies in Mathematics Seminar |
Title: Learning Dynamical Transport without Data |
Category: New Technologies in Mathematics Seminar |
Title: AlphaProof: when reinforcement learning meets formal mathematics |
Category: New Technologies in Mathematics Seminar |
Title: Discovery in Mathematics with Automated Conjecturing |
Category: New Technologies in Mathematics Seminar |
Title: Machine Learning G2 Geometry |
Category: New Technologies in Mathematics Seminar |
Title: Datasets for Math: From AIMO Competitions to Math Copilots for Research |
Category: New Technologies in Mathematics Seminar |
Title: Discovering Data Structures: Nearest Neighbor Search and Beyond |
Category: New Technologies in Mathematics Seminar |
Title: Can Transformers Reason Logically? A Study in SAT-Solving |
Category: New Technologies in Mathematics Seminar |
Title: Thinking Like Transformers – A Practical Session |
Category: New Technologies in Mathematics Seminar |
Title: Frontier of Formal Theorem Proving with Large Language Models: Insights from the DeepSeek-Prover Series |
Category: New Technologies in Mathematics Seminar |
Title: Is Behavior Cloning All You Need? Understanding Horizon in Imitation Learning |
Category: New Technologies in Mathematics Seminar |
Title: How Far Can Transformers Reason? The Globality Barrier and Inductive Scratchpad |
Category: New Technologies in Mathematics Seminar |
Title: From Word Prediction to Complex Skills: Data Flywheels for Mathematical Reasoning |
Category: New Technologies in Mathematics Seminar |
Title: Hierarchical data structures through the lenses of diffusion models |
Category: New Technologies in Mathematics Seminar |
Title: Infinite Limits and Scaling Laws for Deep Neural Networks |
Category: New Technologies in Mathematics Seminar |
Title: Solving olympiad geometry without human demonstrations |
Category: New Technologies in Mathematics Seminar |
Title: LILO: Learning Interpretable Libraries by Compressing and Documenting Code |
Category: New Technologies in Mathematics Seminar |
Title: Computers and mathematics in partial differential equations: New developments and challenges |
Category: New Technologies in Mathematics Seminar |
Title: What Algorithms can Transformers Learn? A Study in Length Generalization |
Category: New Technologies in Mathematics Seminar |
Title: Large language models, mathematical discovery, and search in the space of strategies: an anecdote |
Category: New Technologies in Mathematics Seminar |
Title: Approaches to the formalization of differential geometry |
Category: New Technologies in Mathematics Seminar |
Title: On the Power of Forward pass through Transformer Architectures |
Category: New Technologies in Mathematics Seminar |
Title: Peano: Learning Formal Mathematical Reasoning Without Human Data |
Category: New Technologies in Mathematics Seminar |
Title: Llemma: an open language model for mathematics |
Category: New Technologies in Mathematics Seminar |
Title: Physics of Language Models: Knowledge Storage, Extraction, and Manipulation |
Category: New Technologies in Mathematics Seminar |
Title: LeanDojo: Theorem Proving with Retrieval-Augmented Language Models |
Category: New Technologies in Mathematics Seminar |
Title: Transformers for maths, and maths for transformers |
Category: New Technologies in Mathematics Seminar |
Title: The TinyStories Dataset: How Small Can Language Models Be And Still Speak Coherent |
Category: New Technologies in Mathematics Seminar |
Title: Modern Hopfield Networks for Novel Transformer Architectures |
Category: New Technologies in Mathematics Seminar |
Title: Toolformer: Language Models Can Teach Themselves to Use Tools |
Category: New Technologies in Mathematics Seminar |
Title: How to steer foundation models? |
Category: New Technologies in Mathematics Seminar |
Title: How do Transformers reason? First principles via automata, semigroups, and circuits |
Category: New Technologies in Mathematics Seminar |
Title: From Engine to Auto |
Category: New Technologies in Mathematics Seminar |
Title: Towards Faithful Reasoning Using Language Models |
Category: New Technologies in Mathematics Seminar |
Title: Minerva: Solving Quantitative Reasoning Problems with Language Models |
Category: New Technologies in Mathematics Seminar |
Title: Statistical mechanics of neural networks: From the geometry of high dimensional error landscapes to beating power law neural scaling |
Category: New Technologies in Mathematics Seminar |
Title: Breaking the one-mind-barrier in mathematics using formal verification |
Category: New Technologies in Mathematics Seminar |
Title: Memorizing Transformers |
Category: New Technologies in Mathematics Seminar |
Title: Formal Mathematics Statement Curriculum Learning |
Category: New Technologies in Mathematics Seminar |
Title: Machine Learning 30 STEM Courses in 12 Departments |
Category: New Technologies in Mathematics Seminar |
Title: Scaling Laws and Their Implications for Coding AI |
Category: New Technologies in Mathematics Seminar |
Title: Bootstrapping hyperbolic manifolds |
Category: New Technologies in Mathematics Seminar |
Title: Toward Demystifying Transformers and Attention |
Category: New Technologies in Mathematics Seminar |
Title: Neural diffusion PDEs, differential geometry, and graph neural networks |