Buchumschlag

Aristotle: IMO-level Automated Theorem Proving

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Achim, Tudor, Best, Alex, Bietti, Alberto, Der, Kevin, Fédérico, Mathïs, Gukov, Sergei, Halpern-Leistner, Daniel, Henningsgard, Kirsten, Kudryashov, Yury, Meiburg, Alexander, Michelsen, Martin, Patterson, Riley, Rodriguez, Eric, Scharff, Laura, Shanker, Vikram, Sicca, Vladmir, Sowrirajan, Hari, Swope, Aidan, Tamas, Matyas, Tenev, Vlad, Thomm, Jonathan, Williams, Harold, Wu, Lawrence
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Newclid: A User-Friendly Replacement for AlphaGeometry
von: Sicca, Vladmir, et al.
Veröffentlicht: (2024)

The noncommutative minimal model program
von: Halpern-Leistner, Daniel
Veröffentlicht: (2023)

A categorical perspective on non-abelian localization
von: Halpern-Leistner, Daniel
Veröffentlicht: (2025)

On the structure of equivariant derived categories
von: Halpern-Leistner, Daniel
Veröffentlicht: (2024)

Full exceptional collections of vector bundles on rank-two linear GIT quotients
von: Halpern-Leistner, Daniel, et al.
Veröffentlicht: (2022)

The intrinsic approach to moduli theory
von: Alper, Jarod, et al.
Veröffentlicht: (2026)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
von: Liang, Zhenwen, et al.
Veröffentlicht: (2025)

Quantum operations on the ring of symmetric functions
von: Halpern-Leistner, Daniel, et al.
Veröffentlicht: (2025)

Properties of deformed mass and phase functions
von: Halpern-Leistner, Daniel, et al.
Veröffentlicht: (2026)

De-Biasing Models of Biased Decisions: A Comparison of Methods Using Mortgage Application Data
von: Tenev, Nicholas
Veröffentlicht: (2024)

Corporate governance and enterprise reform in China : building the institutions of modern markets / Stoyan Tenev, Chunlin Zhang with Loup Brefort
von: Tenev, Stoyan
Veröffentlicht: (2002)

Existence of moduli spaces for algebraic stacks
von: Alper, Jarod, et al.
Veröffentlicht: (2018)

Coordinated Shirking in Technology Adoption
von: Tenev, Nicholas H.
Veröffentlicht: (2025)

Regionalpolitik und regionale Entwicklungspotentiale
von: Scharff, Reinhard
Veröffentlicht: (2019)

Moduli spaces of sheaves via affine Grassmannians
von: Halpern-Leistner, Daniel, et al.
Veröffentlicht: (2021)

Stability conditions and semiorthogonal decompositions I: quasi-convergence
von: Halpern-Leistner, Daniel, et al.
Veröffentlicht: (2023)

Bounding the Graph Capacity with Quantum Mechanics and Finite Automata
von: Meiburg, Alexander
Veröffentlicht: (2024)

Direitos Humanos Fundamentais das Pessoas com Deficiência
von: Vladmir Oliveira da Silveira
Veröffentlicht: (2013)

Why Don't They Ask Questions?
von: Swope, Mary Jane, et al.
Veröffentlicht: (1972)

The Use of Microcomputers for Information Retrieval.
von: Scharff, L., et al.
Veröffentlicht: (1983)

Towards Few-Call Model Stealing via Active Self-Paced Knowledge Distillation and Diffusion-Based Image Generation
von: Hondru, Vlad, et al.
Veröffentlicht: (2023)

Generalisation of an IMO Geometry Problem
von: Hamzić, Dina Kamber, et al.
Veröffentlicht: (2024)

Projectivity of the moduli of equidimensional branchvarieties
von: Halpern-Leistner, Daniel, et al.
Veröffentlicht: (2024)

Intrinsic Donaldson-Thomas theory. I. Component lattices of stacks
von: Bu, Chenjing, et al.
Veröffentlicht: (2025)

Optimal Echo Chambers
von: Martinez, Gabriel, et al.
Veröffentlicht: (2020)

Racial and Ethnic Disparities in Mortgage Lending: New Evidence from Expanded HMDA Data
von: Lewis-Faupel, Sean, et al.
Veröffentlicht: (2024)

High-Impact Innovations and Hidden Gender Disparities in Inventor-Evaluator Networks
von: Sowrirajan, Tara, et al.
Veröffentlicht: (2024)

Teleoperation in Robot-assisted MIS with Adaptive RCM via Admittance Control
von: Nasiri, Ehsan, et al.
Veröffentlicht: (2024)

Camafroneta Frick & Scharff 2018, gen. nov.
von: Frick, Holger, et al.
Veröffentlicht: (2018)

Mother, Musician, Performer: Living the Impossible?
von: Sally Savage, et al.
Veröffentlicht: (2026)

The 1993-94 Educational Software Preview Guide.
von: Best, Anita, Ed., et al.
Veröffentlicht: (1993)

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem
von: Lau, Gabriel Rongyang
Veröffentlicht: (2026)

SOB O SIGNO DA AMEAÇA: conflito, poder e feitiço nas religiões afro-brasileiras
von: Rodrigo Leistner
Veröffentlicht: (2010)

TENSÕES ENTRE INDIVIDUALISMO E COMUNIDADE NAS RELIGIÕES DE MATRIZ AFRICANA
von: Rodrigo Leistner
Veröffentlicht: (2009)

Religião, ciência e transdisciplinaridade: o conhecimento afro-religioso como objeto de estudo
von: Rodrigo Leistner
Veröffentlicht: (2009)

Entre A Magia e o Pensamento Secular: Reflexões Sobre a Cultura Política Brasileira a Partir das Religiões Populares
von: Rodrigo Leistner
Veröffentlicht: (2016)

The Memory Process: Neuroscientific and Humanistic Perspectives
von: Lucas Bietti
Veröffentlicht: (2013)

How history shapes memories in autobiographical narratives
von: Lucas Bietti
Veröffentlicht: (2012)

The Multiple Ticket Hypothesis: Random Sparse Subnetworks Suffice for RLVR
von: Adewuyi, Israel, et al.
Veröffentlicht: (2026)

Benthos investigations in the Lena Delta
von: Gukov, Aleksander Yu
Veröffentlicht: (2002)