Imagen de Portada

Compression is all you need: Modeling Mathematics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Aksenov, Vitaly, Bodnia, Eve, Freedman, Michael H., Mulligan, Michael
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Artificial Intelligence and the Structure of Mathematics
por: Barkeshli, Maissam, et al.
Publicado: (2026)

Discernment is all you need
por: Fuenmayor, David
Publicado: (2026)

Computational Dualism and Objective Superintelligence
por: Bennett, Michael Timothy
Publicado: (2023)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
por: Khalil, Khurram, et al.
Publicado: (2025)

Learning Formal Mathematics From Intrinsic Motivation
por: Poesia, Gabriel, et al.
Publicado: (2024)

Llemma: An Open Language Model For Mathematics
por: Azerbayev, Zhangir, et al.
Publicado: (2023)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
por: Li, Sirui, et al.
Publicado: (2025)

The Optimal Choice of Hypothesis Is the Weakest, Not the Shortest
por: Bennett, Michael Timothy
Publicado: (2023)

One is all you need: Second-order Unification without First-order Variables
por: Cerna, David M., et al.
Publicado: (2024)

When Agda met Vampire
por: Šinkarovs, Artjoms, et al.
Publicado: (2026)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
por: Bartholomew, Michael, et al.
Publicado: (2025)

Propaganda is all you need
por: Kronlund-Drouault, Paul
Publicado: (2024)

All you need is $\mathbf{A}_κ$
por: Bannister, Nathaniel
Publicado: (2025)

Superposition with Delayed Unification
por: Bhayat, Ahmed, et al.
Publicado: (2024)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
por: Bourgaux, Camille, et al.
Publicado: (2025)

Formal Mathematical Reasoning: A New Frontier in AI
por: Yang, Kaiyu, et al.
Publicado: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
por: Joyce, Johnny
Publicado: (2025)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

Similarity-based analogical proportions
por: Antić, Christian
Publicado: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

Lemmas: Generation, Selection, Application
por: Rawson, Michael, et al.
Publicado: (2023)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
por: Liu, Xinyu, et al.
Publicado: (2026)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
por: Bourigault, Pauline, et al.
Publicado: (2026)

REL: Working out is all you need
por: Simonds, Toby, et al.
Publicado: (2024)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
por: Lamont, Sean, et al.
Publicado: (2024)

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
por: Xie, Zixuan, et al.
Publicado: (2026)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
por: Buleshnyi, Mykhailo, et al.
Publicado: (2025)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
por: Cao, Chuxue, et al.
Publicado: (2025)

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
por: Collinson, Matthew, et al.
Publicado: (2026)

Rethinking Explanations: Formalizing Contrast in Description Logics
por: Mahmood, Yasir, et al.
Publicado: (2026)

On SCC-recursiveness in Quantitative Argumentation
por: Wang, Zongshun, et al.
Publicado: (2020)

A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
por: Wirth, Claus-Peter
Publicado: (2011)

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
por: Andrews, Uri, et al.
Publicado: (2025)

The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems
por: Bouke, Mohamed Aly
Publicado: (2025)

Axiomatizing Rumsfeld Ignorance
por: Fan, Jie
Publicado: (2025)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
por: Yoo, Harim
Publicado: (2025)

The logic behind desirable sets of things, and its filter representation
por: de Cooman, Gert, et al.
Publicado: (2023)