9 papers
Multiplication Beyond Groups: Stratified Fourier Mechanisms in Transformer Circuits
Zitong Andrew Chen, Junaid Hasan, Akhil Srinivasan +2
Transformers have demonstrated a remarkable ability to learn algorithmic reasoning, yet mechanistic analyses have mostly focused on globally invertible operations such as cyclic ad…
Does My Embedding Reflect That ? Evaluating Mathematical Equivalence in Embedding Models
Jiaying Ye, Samarth Rao, Leo Carlin +9
Because mathematics is highly abstract, a single statement can take very different forms depending on what subfield it is framed in. There are many examples where breakthroughs occ…
FactorLibrary: From Polynomials to Circuits via Recursive Subgoals
Rohan Pandey, Michael Ruofan Zeng, Weikun K. Zhang +5
Finding minimal arithmetic circuits for polynomials over finite fields is a combinatorially hard problem central to algebraic complexity theory. We formulate it as a reinforcement…
TheoremGraph: Bridging Formal and Informal Mathematics
Simon Kurgan, Evan Wang, Eric Leonen +6
Mathematical knowledge is organized around statements and their dependencies, but this structure is exposed unevenly: informal papers cite mostly at the document level, while forma…
Evaluation of LLMs for Mathematical Formalization in Lean
Tyson Klingner, Drew Bladek, Escher Crawford +6
Within the past few years, the ability of Large Language Models (LLMs) to generate formal mathematical proofs has improved drastically. We provide a comparison of various LLMs' eff…
The intrinsic approach to moduli theory
Jarod Alper, Daniel Halpern-Leistner
Moduli theory has captured the imagination of algebraic geometers for at least two centuries. Up until the end of the 20th century, moduli spaces were constructed and studied by ri…