“‘Math’ Tag”,2019-08-28
![]()
Bibliography for tag
math, most recent first: 6 related tags, 262 annotations, & 108 links (parent).
- See Also
- Gwern
- Links
- “Math’s ‘Bunkbed Conjecture’ Has Been Debunked”
- “Mixture of Parrots: Experts Improve Memorization More Than Reasoning”, et al 2024
- “Industrious Dice [Minimizing Pip Counts on Still-Functional Dice]”
- “Can OpenAI’s
o1-PreviewAce the 2023 Putnam Exam?”, 2024- “An Intuitive Explanation of Black-Scholes: I Explain the Black-Scholes Formula Using Only Basic Probability Theory and Calculus, With a Focus on the Big Picture and Intuition over Technical Details”, 2024
- “To CoT or Not to CoT? Chain-Of-Thought Helps Mainly on Math and Symbolic Reasoning”, et al 2024
- “I Have Played a Little Bit With OpenAI’s New Iteration, GPT-4 O1”, 2024
- “‘He Was in Mystic Delirium’: Was This Hermit Mathematician Alexander Grothendieck a Forgotten Genius Whose Ideas Could Transform AI—Or a Lonely Madman?”
- “Statistical Patterns in the Equations of Physics and the Emergence of a Meta-Law of Nature”, et al 2024
- “Physics of Language Models: Part 2.1, Grade-School Math and the Hidden Reasoning Process”, et al 2024
- “MCTSr: Accessing GPT-4 Level Mathematical Olympiad Solutions via Monte Carlo Tree Self-Refine With LLaMA-3-8B”, et al 2024
- “AI Will Become Mathematicians’ ‘Co-Pilot’: Fields Medalist Terence Tao Explains How Proof Checkers and AI Programs Are Dramatically Changing Mathematics”, 2024
- “OmegaPRM: Improve Mathematical Reasoning in Language Models by Automated Process Supervision”, et al 2024
- “MMLU-Pro: A More Robust and Challenging Multi-Task Language Understanding Benchmark”, et al 2024
- “The Lessons of Hermann Grassmann and the Nature of Abstractions”, 2024
- “Crows ‘Count’ the Number of Self-Generated Vocalizations”, et al 2024
- “DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data”, et al 2024
- “Verified Neural Compressed Sensing”, et al 2024
- “GSM1k: A Careful Examination of Large Language Model Performance on Grade School Arithmetic”, et al 2024
- “Wu’s Method Can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry”, et al 2024
- “Functional Benchmarks for Robust Evaluation of Reasoning Performance, and the Reasoning Gap”, et al 2024
- “Tokenization Counts: the Impact of Tokenization on Arithmetic in Frontier LLMs”, 2024
- “Autonomous Data Selection With Language Models for Mathematical Texts”, et al 2024
- “Hamiltonicity of Expanders: Optimal Bounds and Applications”, et al 2024
- “Leveraging Large Language Models to Boost Dafny’s Developers Productivity”, et al 2024
- “Solving Olympiad Geometry without Human Demonstrations”, et al 2024
- “Generative AI for Math: Part I—MathPile: A Billion-Token-Scale Pretraining Corpus for Math”, et al 2023
- “PRER: Modeling Complex Mathematical Reasoning via Large Language Model Based MathAgent”, et al 2023
- “TinyGSM: Achieving >80% on GSM8k With Small Language Models”, et al 2023
- “Beyond Human Data: Scaling Self-Training for Problem-Solving With Language Models (ReSTEM)”, et al 2023
- “Frugal LMs Trained to Invoke Symbolic Solvers Achieve Parameter-Efficient Arithmetic Reasoning”, et al 2023
- “Universal Self-Consistency for Large Language Model Generation”, et al 2023
- “Training Chain-Of-Thought via Latent-Variable Inference”, et al 2023
- “Why Won’t OpenAI Say What the Q✱ Algorithm Is? Supposed AI Breakthroughs Are Frequently Veiled in Secrecy, Hindering Scientific Consensus”, 2023
- “Positional Description Matters for Transformers Arithmetic”, et al 2023
- “GPQA: A Graduate-Level Google-Proof Q&A Benchmark”, et al 2023
- “The Impact of Large Language Models on Scientific Discovery: a Preliminary Study Using GPT-4”, AI42023
- “Implicit Chain-Of-Thought Reasoning via Knowledge Distillation”, et al 2023
- “Llemma: An Open Language Model For Mathematics”, et al 2023
- “Let Models Speak Ciphers: Multiagent Debate through Embeddings”, et al 2023
- “OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text”, et al 2023
- “Distinct Neuronal Representation of Small and Large Numbers in the Human Medial Temporal Lobe”, et al 2023
- “MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models”, et al 2023
- “FIMO: A Challenge Formal Dataset for Automated Theorem Proving”, et al 2023
- “Papers With Computer-Checked Proofs”, 2023
- “Solving Challenging Math Word Problems Using GPT-4 Code Interpreter With Code-Based Self-Verification”, et al 2023
- “Testing GPT-4 With Wolfram Alpha and Code Interpreter Plug-Ins on Math and Science Problems”, 2023
- “Teaching Arithmetic to Small Transformers”, et al 2023
- “Length Generalization in Arithmetic Transformers”, et al 2023
- “LeanDojo: Theorem Proving With Retrieval-Augmented Language Models”, et al 2023
- “Let’s Verify Step by Step”, et al 2023
- “A Chiral Aperiodic Monotile”, et al 2023
- “FERMAT: An Alternative to Accuracy for Numerical Reasoning”, 2023
- “What Number Comes Next? The Encyclopedia of Integer Sequences Knows. The ‘Mathematical Equivalent to the FBI’s Voluminous Fingerprint Files’ Turns 50 This Year, With 362,765 Entries (and Counting)”, 2023
- “How Does GPT-2 Compute Greater-Than?: Interpreting Mathematical Abilities in a Pre-Trained Language Model”, et al 2023
- “Evaluating Transformer Language Models on Arithmetic Operations Using Number Decomposition”, et al 2023
- “The Spinorial Ball: a Macroscopic Object of Spin-1/2”, Bernard- et al 2023
- “How Well Do Large Language Models Perform in Arithmetic Tasks?”, et al 2023
- “ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics”, et al 2023
- “OEIS: A Handbook of Integer Sequences 50 Years Later”, 2023
- “Solving Math Word Problems With Process & Outcome-Based Feedback”, et al 2022
- “What Is My Math Transformer Doing? – 3 Results on Interpretability and Generalization”, 2022
- “Broken Neural Scaling Laws”, et al 2022
- “Dynamic Prompt Learning via Policy Gradient for Semi-Structured Mathematical Reasoning”, et al 2022
- “Mathematical Proof Between Generations”, et al 2022
- “Connecting the Scientific and Industrial Revolutions: The Role of Practical Mathematics”, Kelly & 2022
- “NaturalProver: Grounded Mathematical Proof Generation With Language Models”, et al 2022
- “HTPS: HyperTree Proof Search for Neural Theorem Proving”, et al 2022
- “End-To-End Symbolic Regression With Transformers”, et al 2022
- “The Sexes Do Not Differ in General Intelligence, but They Do in Some Specifics”, et al 2022
- “PaLM: Scaling Language Modeling With Pathways”, et al 2022
- “Impact of Pretraining Term Frequencies on Few-Shot Reasoning”, et al 2022
- “Exact Number Concepts Are Limited to the Verbal Count Range”, et al 2022
- “Formal Mathematics Statement Curriculum Learning”, et al 2022
- “Deep Symbolic Regression for Recurrent Sequences”, d’ et al 2022
- “Counting and the Ontogenetic Origins of Exact Equality”, et al 2022
- “A Neural Network Solves and Generates Mathematics Problems by Program Synthesis: Calculus, Differential Equations, Linear Algebra, and More”, et al 2021
- “What Is the Point of Computers? A Question for Pure Mathematicians”, 2021
- “Scaling Language Models: Methods, Analysis & Insights from Training Gopher”, et al 2021
- “Linear Algebra With Transformers”, 2021
- “Training Verifiers to Solve Math Word Problems”, et al 2021
- “MiniF2F: a Cross-System Benchmark for Formal Olympiad-Level Mathematics”, et al 2021
- “A Diverse Corpus for Evaluating and Developing English Math Word Problem Solvers”, et al 2021
- “SymbolicGPT: A Generative Transformer Model for Symbolic Regression”, et al 2021
- “Basins With Tentacles”, 2021
- “Behavioral and Neuronal Representation of Numerosity Zero in the Crow”, et al 2021
- “MathBERT: A Pre-Trained Model for Mathematical Formula Understanding”, et al 2021
- “Constructions in Combinatorics via Neural Networks”, 2021
- “NaturalProofs: Mathematical Theorem Proving in Natural Language”, et al 2021
- “Are NLP Models Really Able to Solve Simple Math Word Problems?”, et al 2021
- “Measuring Mathematical Problem Solving With the MATH Dataset”, et al 2021
- “TacticZero: Learning to Prove Theorems from Scratch With Deep Reinforcement Learning”, et al 2021
- “Proof Artifact Co-Training for Theorem Proving With Language Models”, et al 2021
- “LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning”, et al 2021
- “How the Slowest Computer Programs Illuminate Math’s Fundamental Limits: The Goal of the ‘Busy Beaver’ Game Is to Find the Longest-Running Computer Program. Its Pursuit Has Surprising Connections to Some of the Most Profound Questions and Concepts in Mathematics”, 2020
- “The Empirical Metamathematics of Euclid and Beyond”, 2020
- “MMLU: Measuring Massive Multitask Language Understanding”, et al 2020
- “Generative Language Modeling for Automated Theorem Proving”, 2020
- “A Promising Path Towards Autoformalization and General Artificial Intelligence”, 2020
- “Lights and Shadows”, 2020
- “Singing Euclid: the Oral Character of Greek Geometry”, 2020
- “Mathematical Reasoning via Self-Supervised Skip-Tree Training”, et al 2020
- “Remembering John Conway’s FRACTRAN, a Ridiculous, yet Surprisingly Deep Language”, 2020
- “Radical Solutions: French Mathematician Évariste Galois Lived a Full Life. When He Wasn’t Trying to Overthrow the Government, He Was Reinventing Algebra”, 2020
- “Learning to Prove Theorems by Learning to Generate Theorems”, 2020
- “Transformers As Soft Reasoners over Language”, et al 2020
- “Neural Arithmetic Units”, 2020
- “Generative Language Modeling for Automated Theorem Proving § Experiments”, 2020 (page 11 org openai)
- “Deep Learning for Symbolic Mathematics”, 2019
- “The Lean Mathematical Library”, 2019
- “Talent Search versus Talent Development”, 2019
- “Do NLP Models Know Numbers? Probing Numeracy in Embeddings”, et al 2019
- “Ternary Circuits: Why R=3 Is Not the Optimal Radix for Computation”, 2019
- “MAWPS: A Math Word Problem Repository”, Koncel- et al 2019
- “Learning to Reason in Large Theories without Imitation”, et al 2019
- “Analysing Mathematical Reasoning Abilities of Neural Models”, et al 2019
- “Paul Erdős’s Mathematics As a Social Activity”, 2019
- “Fancy Euclid’s Elements in TeX”, 2019
- “A Randomized Controlled Trial of Interleaved Mathematics Practice”, et al 2019
- “Reinventing the Wheel: Discovering the Optimal Rolling Shape With PyTorch”, 2019
- “The First Printed Math Books”, 2019
- “Making of Byrne’s Euclid”, 2018
- “Best Practices: Formal Proofs, the Fine Print and Side Effects”, 2018
- “Mastering Chess and Shogi by Self-Play With a General Reinforcement Learning Algorithm”, et al 2017
- “From Boiling Lead and Black Art: An Essay on the History of Mathematical Typography”, 2017
- “Program Induction by Rationale Generation: Learning to Solve and Explain Algebraic Word Problems”, et al 2017
- “The Reinhardt Conjecture As an Optimal Control Problem”, 2017
- “The Doodle Theorem, and Beyond: Colin Wright Juggles Euler, Doodling and Millennium Problems”, 2016
- “Solving General Arithmetic Word Problems”, 2016
- “DeepMath: Deep Sequence Models for Premise Selection”, et al 2016
- “A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory”, 2016
- “The LEGO Counting Problem”, 2016
- “Too Good to Be True: When Overwhelming Evidence Fails to Convince”, et al 2016
- “Probabilistic Integration: A Role in Statistical Computation?”, et al 2015
- “Random Gradient-Free Minimization of Convex Functions”, 2015
- “Prizes and Productivity: How Winning the Fields Medal Affects Scientific Output”, 2015
- “Is There a Curse of the Fields Medal?”, 2015
- “The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems—Can We Trust in Them?”, et al 2014
- “Interleaved Practice Improves Mathematics Learning”, et al 2014b
- “The Case of the Case of Benny: Elucidating the Influence of a Landmark Study in Mathematics Education”, 2014
- “Neural Networks, Manifolds, and Topology”, 2014
- “Finite Time Blowup for an Averaged Three-Dimensional Navier-Stokes Equation”, 2014
- “Homotopy Groups of Suspended Classifying Spaces: An Experimental Approach”, 2013
- “Mathematics in the Age of the Turing Machine”, 2013
- “On Unsettleable Arithmetical Problems”, 2013
- “The Algebraic Combinatorial Approach for Low-Rank Matrix Completion”, et al 2012
- “How Did Software Get So Reliable Without Proof? [Blog]”, 2012
- “Mind Switches in Futurama and Stargate”, 2012
- “On the Distribution of Time-To-Proof of Mathematical Conjectures”, 2012
- “Vividness in Mathematics and Narrative”, 2012
- “How to Write a 21st Century Proof”, 2011
- “Jewish Problems”, 2011
- “The Cosmic Distance Ladder”, 2010
- “Coolex: The Coolest Way to Generate Combinations”, 2009
- “Packing Unit Squares in Squares: A Survey and New Results”, 2009
- “Desperately Seeking Mathematical Proof”, 2009
- “The Gödel Letter”, 2009
- “Physics, Topology, Logic and Computation: A Rosetta Stone”, 2009
- “11858_200816ya_132_41_1-Web 45..60”
- “Probing the Improbable: Methodological Challenges for Risks With Low Probabilities and High Stakes”, et al 2008
- “The Epic Story of Maximum Likelihood”, 2007
- “Overhang”, 2007
- “The Monotype 4-Line System for Setting Mathematics”, 2007
- “Maximum Overhang”, et al 2007
- “Computational Discovery in Pure Mathematics”, 2007
- “Béla Bollobás: Graphs Extremal and Random [Interview of Béla Bollobás by Y. K. Leong]”, Leong & 2007
- “How Abstract Is Symbolic Thought?”, 2007
- “Comment on a Paper by Yucai Su On the Jacobian Conjecture (2005-12-30)”, 2006
- “Proof of Two Dimensional Jacobian Conjecture”, 2005
- “Monstrous Moonshine: The First 25 Years”, 2004
- “Online Convex Programming and Generalized Infinitesimal Gradient Ascent”, 2003
- “EWD1300: The Notational Conventions I Adopted, and Why”, 2002
- “Philosophical Problems in Logic § Ultrafinitism”, 2002 (page 4)
- “Hymne to Hymen”, 2002
- “The War of the Frogs and the Mice, or the Crisis of the Mathematische Annalen”, 2001
- “Making Mathematics: The Coffee Connection”, 1999
- “An Editor Recalls Some Hopeless Papers”, 1998
- “How Did Software Get so Reliable without Proof?”, 1996
- “Light Shadows: Remembrances of Yale in the Early Fifties”, 1996
- “Ten Lessons I Wish I Had Been Taught”, 1996
- “Riemann Zeta Function Is a Fractal”, 1994
- “A Visit to Hungarian Mathematics”, Hersh & John-1993
- “Mathematics for Little Ones”, 1992
- “What in Heaven Is a Digital Sundial?”, stewart 1991
- “How I Was Led to the Frequency Approach”, 1991
- “On the Computational Complexity of the Jones and Tutte Polynomials”, et al 1990
- “Factors and Primes: a Specific Numerical Ability”, Hermelin & 1990
- “Envisioning Information: Chapter 5, ‘Color and Information’, Pg83-86 [On Oliver Byrne’s Color Diagram Version of Euclid’s Elements]”, 1990
- “Discussion: John Von Neumann—A Case Study of Scientific Creativity”, et al 1989
- “In Memory of Henry J. Kelley”, 1989
- “Dynamical Systems That Sort Lists, Diagonalize Matrices and Solve Linear Programming Problems”, 1988
- “The Printing of Mathematics”, 1988
- “The Emergence of Princeton As a World Center for Mathematical Research, 1896–43193985ya”, 1988
- “The Aesthetic Viewpoint in Mathematics”
- “John Von Neumann As Seen By His Brother”, 1987
- “The Back of the Envelope Returns”, 1986
- “Review of Yuri I. Manin Yu, A Course in Mathematical Logic 1997”, 1986
- “Terence Tao”, 1984
- “The Back of the Envelope”, 1984
- “Discrete Hartley Transform”, 1983
- “Are Impossible Figures Possible?”, 1983
- “On Number Numbness”, 1982b
- “Bi-Continuous Extensions of Invertible Combinatorial Functions”, 1981
- “Bouvet and Leibniz: A Scholarly Correspondence”, 1980
- “The Letter S”, 1980
- “Monstrous Moonshine”, 1979
- “Some Proposals for Reviving the Philosophy of Mathematics”, 1979
- “Heaviside’s Operational Calculus and the Attempts to Rigorise It”, 1979
- “Social Processes and Proofs of Theorems and Programs”, et al 1979
- “Life at Low Reynolds Number”, 1977
- “Randomness and Mathematical Proof”, 1975
- “Constructing the Sunflower Head”, 1974
- “The Legend of John Von Neumann”, 1973
- “Benny’s Conception of Rules and Answers in IPI Mathematics”, 1973
- “The Dangers of Computer-Science Theory”, 1973
- “Nonstandard Analysis”, 1972b
- “Fidelity in Mathematical Discourse: Is One and One Really Two?”, 1972
- “The Humble Programmer [EWD340]”, 1972
- “Assigning Probabilities to Logical Formulas”, 1966
- “Singular Extremals In Lawden’s Problem Of Optimal Rocket Flight”, 1963
- “A Steepest-Ascent Method for Solving Optimum Programming Problems”, 1962
- “Method of Gradients”, 1962
- “An Exceptional Talent For Calculative Thinking”, 1962
- “Gradient Theory of Optimal Flight Paths”, 1960
- “Toward Mechanical Mathematics”, 1960
- “Stable Predictor-Corrector Methods for Ordinary Differential Equations”, 1959
- The Printing of Mathematics: Aids for Authors and Editors and Rules for Compositors and Readers at the University Press, Oxford, et al 1954
- “Non-Cooperative Games”, 1951
- “Principles of the Self-Organizing Dynamic System”, 1947
- An Essay On The Psychology Of Invention In The Mathematical Field, 1945
- “A More Symmetrical Fourier Analysis Applied to Transmission Problems”, 1942
- “Leonhard Euler’s Elastic Curves”
- “On a Problem of Formal Logic”, 1930
- “Operational Methods in Mathematical Physics”, 1928
- “The Foundations of Mathematics”, 1926b
- “Cutting a Round Cake on Scientific Principles”, 1906
- “On Operators in Physical Mathematics. Part I”, 1892
- “Packomania”
- “Sculptures”, 2024
- “Adventures in Stacking”
- “Extreme D&D DIY: Adventures in Hypergeometry, Procedural Generation, and Software Development (part 1)”, 2024
- “Spaced Repetition for Mathematics”
- “Why Momentum Really Works”
- “1972 Talk at CERN on Scientific Research”, 2024
- “How Should Mathematics Be Taught to Non-Mathematicians?”, 2024
- “Math: OpenAI API Can Do Some Math out of the Gate, but Most Math It Seems It Has to Learn. Many Times, the Numbers That It Spits out Are Just Random. However, including Different Priming Prompts Can Result in Decent Results.”
- “Hamiltonian Cycles on Ammann-Beenker Tilings”
- “A000108”
- “Oliver Byrne’s Edition of Euclid’s Elements [Scans]”, 2024
- “Chladni Figures (1787237ya)”
- “Solid Objects: 16th-Century Geometric and Perspective Drawings”
- “The Geometric Landscapes of Lorenz Stoer (1567457ya)”
- “William Hogarth’s Satire on False Perspective (1754270ya)”
- “The Spiralist”
- “Differentiable Programming from Scratch”
- “Renaissance Science – XXII”
- “Optimized, Individualized Spaced Repetition in Hierarchical Knowledge Structures”, 2024
- “Best-Of-n With Misaligned Reward Models for Math Reasoning”
- “A Mentor Challenged Bright Math Students And Changed Their Lives”
- “Mathematical Notation: Past and Future”
- sakun135
- spolu
- Sort By Magic
- Wikipedia
- Miscellaneous
- Bibliography