Copertina

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cao, Chuxue, Li, Mengze, Dai, Juntao, Yang, Jinluan, Zhao, Zijian, Zhang, Shengyu, Shi, Weijie, Liu, Chengzhong, Han, Sirui, Guo, Yike
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Computation and Language Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

LRAS: Advanced Legal Reasoning with Agentic Search
di: Zhou, Yujin, et al.
Pubblicazione: (2026)

Distributed First Order Logic
di: Ghidini, Chiara, et al.
Pubblicazione: (2015)

Interpolation in First-Order Logic
di: Cate, Balder ten, et al.
Pubblicazione: (2025)

Equational Theorem Proving for Clauses over Strings
di: Kim, Dohan
Pubblicazione: (2023)

Proving Cutoff Bounds for Safety Properties in First-Order Logic
di: Lotan, Raz, et al.
Pubblicazione: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Proving Circuit Functional Equivalence in Zero Knowledge
di: Shen, Sirui, et al.
Pubblicazione: (2026)

On the Satisfiability of Local First-Order Logics with Data
di: Bollig, Benedikt, et al.
Pubblicazione: (2023)

Automated Theorem Proving for Prolog Verification
di: Mesnard, Fred, et al.
Pubblicazione: (2026)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
di: Liu, Qi, et al.
Pubblicazione: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Fusions of One-Variable First-Order Modal Logics
di: Kontchakov, Roman, et al.
Pubblicazione: (2026)

On Knowledge Compilation For Two-Variable First-Order Logic
di: Meng, Qiaolan, et al.
Pubblicazione: (2026)

Checking Satisfiability of Hyperproperties using First-Order Logic
di: Beutner, Raven, et al.
Pubblicazione: (2025)

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
di: Kabra, Aditi, et al.
Pubblicazione: (2026)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
di: Barloy, Corentin, et al.
Pubblicazione: (2025)

Partial Label Learning for Automated Theorem Proving
di: Zombori, Zsolt, et al.
Pubblicazione: (2025)

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

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
di: Dardinier, Thibault, et al.
Pubblicazione: (2023)

Interpolation with Automated First-Order Reasoning
di: Wernhard, Christoph
Pubblicazione: (2025)

A Two-Watched Literal Scheme for First-Order Logic
di: Briefs, Yasmine, et al.
Pubblicazione: (2026)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
di: Vehlken, Fabian, et al.
Pubblicazione: (2026)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
di: Kurucz, Agi, et al.
Pubblicazione: (2023)

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

Logical Predicates in Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Diagrammatic Algebra of First Order Logic
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
di: Arisaka, Ryuta
Pubblicazione: (2024)

Convergence Laws for Extensions of First-Order Logic with Averaging
di: Adam-Day, Sam, et al.
Pubblicazione: (2025)

Provenance Analysis and Semiring Semantics for First-Order Logic
di: Grädel, Erich, et al.
Pubblicazione: (2024)

Monadic Second-Order Logic of Permutations
di: Jelínek, Vít, et al.
Pubblicazione: (2025)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
di: Li, Jinzheng, et al.
Pubblicazione: (2026)

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

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

Towards Proving Liveness on Weak Memory (Extended Version)
di: Bargmann, Lara, et al.
Pubblicazione: (2026)

Doctrinal Semantics of Directed First-Order Logic
di: Laretto, Andrea, et al.
Pubblicazione: (2025)

A General Automata Model for First-Order Temporal Logics (Extended Version)
di: Geatti, Luca, et al.
Pubblicazione: (2024)

Learning Aggregate Queries Defined by First-Order Logic with Counting
di: van Bergerem, Steffen, et al.
Pubblicazione: (2024)

Unravelling Cyclic First-Order Arithmetic
di: Leigh, Graham E., et al.
Pubblicazione: (2025)

First-Order Modal Logic via Logical Categories
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)