Buchumschlag

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liang, Zhenwen, Song, Linfeng, Li, Yang, Yang, Tao, Zhang, Feng, Mi, Haitao, Yu, Dong
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
von: Liang, Zhenwen, et al.
Veröffentlicht: (2025)

EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
von: Li, Mukai, et al.
Veröffentlicht: (2025)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
von: Cao, Chuxue, et al.
Veröffentlicht: (2025)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
von: Liu, Qi, et al.
Veröffentlicht: (2025)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
von: Huang, Litian, et al.
Veröffentlicht: (2024)

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
von: Song, Peiyang, et al.
Veröffentlicht: (2024)

A Theoretical Review on Solving Algebra Problems
von: Yu, Xinguo, et al.
Veröffentlicht: (2024)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
von: Brown, Chad E., et al.
Veröffentlicht: (2025)

Partial Label Learning for Automated Theorem Proving
von: Zombori, Zsolt, et al.
Veröffentlicht: (2025)

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

Can LLM Aid in Solving Constraints with Inductive Definitions?
von: Feng, Weizhi, et al.
Veröffentlicht: (2026)

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
von: Dong, Kefan, et al.
Veröffentlicht: (2025)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

LeanAgent: Lifelong Learning for Formal Theorem Proving
von: Kumarappan, Adarsh, et al.
Veröffentlicht: (2024)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
von: Lamont, Sean, et al.
Veröffentlicht: (2024)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
von: Zhang, Xinglang, et al.
Veröffentlicht: (2026)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
von: Liu, Chengwu, et al.
Veröffentlicht: (2026)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
von: Florath, Andreas
Veröffentlicht: (2024)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
von: Van Kieu, Tuyen, et al.
Veröffentlicht: (2026)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
von: Kim, Curie, et al.
Veröffentlicht: (2026)

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
von: Zhang, Terry Jingchen, et al.
Veröffentlicht: (2025)

Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
von: Zhou, Yujun, et al.
Veröffentlicht: (2025)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
von: An, Chenyang, et al.
Veröffentlicht: (2024)

What are the Right Symmetries for Formal Theorem Proving?
von: Olejniczak, Krzysztof, et al.
Veröffentlicht: (2026)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
von: Lamont, Sean, et al.
Veröffentlicht: (2024)

Solving Formal Math Problems by Decomposition and Iterative Reflection
von: Zhou, Yichi, et al.
Veröffentlicht: (2025)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
von: Zang, Zhengqing, et al.
Veröffentlicht: (2026)

Towards Projected and Incremental Pseudo-Boolean Model Counting
von: Yang, Suwei, et al.
Veröffentlicht: (2024)

Orthologic for SAT Solving
von: de Haldat, Vladislas, et al.
Veröffentlicht: (2026)

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
von: George, Anne-Marie, et al.
Veröffentlicht: (2024)

Can Transformers Reason Logically? A Study in SAT Solving
von: Pan, Leyan, et al.
Veröffentlicht: (2024)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
von: Lee, Jihwan, et al.
Veröffentlicht: (2024)

Twitch: Learning Abstractions for Equational Theorem Proving
von: Axelrod, Guy, et al.
Veröffentlicht: (2026)

Agentic Proving for Program Verification
von: Sosso, Alessandro, et al.
Veröffentlicht: (2026)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
von: Zhang, Leizhen, et al.
Veröffentlicht: (2026)

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
von: Vishwakarma, Rahul, et al.
Veröffentlicht: (2023)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
von: Defresne, Marianne, et al.
Veröffentlicht: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Solving reachability problems on data-aware workflows
von: De Masellis, Riccardo, et al.
Veröffentlicht: (2019)