:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bursuc, Sergiu, Ehrenborg, Theodore, Lin, Shaowei, Astefanoaei, Lacramioara, Chiosa, Ionel Emilian, Kukovec, Jure, Singh, Alok, Butterley, Oliver, Bizid, Adem, Dougherty, Quinn, Zhao, Miranda, Tan, Max, Tegmark, Max
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Machine Learning Programming Languages
Online Access:	https://arxiv.org/abs/2509.22908
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Language Models Use Trigonometry to Do Addition
by: Kantamneni, Subhash, et al.
Published: (2025)

A Neural Scaling Law from Lottery Ticket Ensembling
by: Liu, Ziming, et al.
Published: (2023)

The Geometry of Truth: Emergent Linear Structure in Large Language Model Representations of True/False Datasets
by: Marks, Samuel, et al.
Published: (2023)

Language Models Represent Space and Time
by: Gurnee, Wes, et al.
Published: (2023)

Towards Understanding Distilled Reasoning Models: A Representational Approach
by: Baek, David D., et al.
Published: (2025)

Technical Report: Exploring Automatic Model-Checking of the Ethereum specification
by: Konnov, Igor, et al.
Published: (2025)

FVSpec: Real-World Property-Based Tests as Lean Challenges
by: Dougherty, Quinn, et al.
Published: (2026)

Low-Rank Adapting Models for Sparse Autoencoders
by: Chen, Matthew, et al.
Published: (2025)

Decomposing The Dark Matter of Sparse Autoencoders
by: Engels, Joshua, et al.
Published: (2024)

OptPDE: Discovering Novel Integrable Systems via AI-Human Collaboration
by: Kantamneni, Subhash, et al.
Published: (2024)

How Do Transformers "Do" Physics? Investigating the Simple Harmonic Oscillator
by: Kantamneni, Subhash, et al.
Published: (2024)

Do Two AI Scientists Agree?
by: Fu, Xinghong, et al.
Published: (2025)

GenEFT: Understanding Statics and Dynamics of Model Generalization via Effective Theory
by: Baek, David D., et al.
Published: (2024)

Investigating Representation Universality: Case Study on Genealogical Representations
by: Baek, David D., et al.
Published: (2024)

Exponential mixing for singular skew-products
by: Butterley, Oliver
Published: (2023)

Two classes of level Eulerian posets
by: Ehrenborg, Richard
Published: (2024)

Cyclotomic enumeration of polynomials
by: Ehrenborg, Richard
Published: (2024)

Gauss Circle Primes
by: Ehrenborg, Thomas
Published: (2025)

Conjectures for cutting pizza with Coxeter arrangements
by: Ehrenborg, Richard
Published: (2024)

On the creation of narrow AI: hierarchy and nonlocality of neural network skills
by: Michaud, Eric J., et al.
Published: (2025)

A Resource Model For Neural Scaling Law
by: Song, Jinyeop, et al.
Published: (2024)

Neural Thermodynamic Laws for Large Language Model Training
by: Liu, Ziming, et al.
Published: (2025)

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version
by: Bursuc, Sergiu, et al.
Published: (2024)

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
by: Dougherty, Quinn, et al.
Published: (2025)

Propagation of Love waves in linear elastic isotropic Cosserat materials
by: Apetrii, Marius, et al.
Published: (2025)

The Quantization Model of Neural Scaling
by: Michaud, Eric J., et al.
Published: (2023)

Harmonic Loss Trains Interpretable AI Models
by: Baek, David D., et al.
Published: (2025)

The Remarkable Robustness of LLMs: Stages of Inference?
by: Lad, Vedang, et al.
Published: (2024)

Scaling Laws For Scalable Oversight
by: Engels, Joshua, et al.
Published: (2025)

Are Sparse Autoencoders Useful? A Case Study in Sparse Probing
by: Kantamneni, Subhash, et al.
Published: (2025)

KAN 2.0: Kolmogorov-Arnold Networks Meet Science
by: Liu, Ziming, et al.
Published: (2024)

Anisotropic spaces and nil-automorphisms
by: Butterley, Oliver, et al.
Published: (2023)

Discontinuous observables as an obstruction for small essential spectral radius
by: Butterley, Oliver, et al.
Published: (2025)

Blood Coagulation Factor IX: Structure, Function, and Regulation
by: Lacramioara Ivanciu, et al.
Published: (2025)

A Behaviour-Aware Federated Forecasting Framework for Distributed Stand-Alone Wind Turbines
by: Li, Bowen, et al.
Published: (2026)

On the structure of the d-indivisible noncrossing partition posets
by: Ehrenborg, Richard, et al.
Published: (2024)

Fundamental bounds on MIMO antennas
by: Ehrenborg, Casimir, et al.
Published: (2017)

Physics of Skill Learning
by: Liu, Ziming, et al.
Published: (2025)

Not All Language Model Features Are One-Dimensionally Linear
by: Engels, Joshua, et al.
Published: (2024)

Opening the AI black box: program synthesis via mechanistic interpretability
by: Michaud, Eric J., et al.
Published: (2024)