Buchumschlag

Hierarchical Attention Generates Better Proofs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chen, Jianlong, Li, Chao, Yuan, Yang, Yao, Andrew C
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Artificial Intelligence Computation and Language Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
von: Zhang, Dylan, et al.
Veröffentlicht: (2024)

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
von: Ahuja, Riyaz, et al.
Veröffentlicht: (2026)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
von: Thakur, Amitayush, et al.
Veröffentlicht: (2025)

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
von: Xin, Huajian, et al.
Veröffentlicht: (2024)

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
von: Lu, Jialin, et al.
Veröffentlicht: (2026)

DeepOnto: A Python Package for Ontology Engineering with Deep Learning
von: He, Yuan, et al.
Veröffentlicht: (2023)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
von: Rao, Balaji, et al.
Veröffentlicht: (2025)

Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
von: Ganguly, Debargha, et al.
Veröffentlicht: (2024)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
von: Kozyrev, Andrei, et al.
Veröffentlicht: (2026)

A Neurosymbolic Approach to Natural Language Formalization and Verification
von: Bayless, Sam, et al.
Veröffentlicht: (2025)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
von: Chen, Michael K., et al.
Veröffentlicht: (2025)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
von: Shen, Ziju, et al.
Veröffentlicht: (2025)

Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction
von: Xu, Yudong W., et al.
Veröffentlicht: (2025)

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

NLP Verification: Towards a General Methodology for Certifying Robustness
von: Casadio, Marco, et al.
Veröffentlicht: (2024)

Transformers Can Learn Connectivity in Some Graphs but Not Others
von: Roy, Amit, et al.
Veröffentlicht: (2025)

Conflict-Aware Fusion: Mitigating Logic Inertia in Large Language Models via Structured Cognitive Priors
von: Bao, Qiming, et al.
Veröffentlicht: (2025)

Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
von: Rajaee, Sara, et al.
Veröffentlicht: (2025)

Reasoning Inconsistencies and How to Mitigate Them in Deep Learning
von: Arakelyan, Erik
Veröffentlicht: (2025)

Mathematics with large language models as provers and verifiers
von: Duc, Hieu Le, et al.
Veröffentlicht: (2025)

Combining Textual and Structural Information for Premise Selection in Lean
von: Petrovčič, Job, et al.
Veröffentlicht: (2025)

Are Language Models Efficient Reasoners? A Perspective from Logic Programming
von: Opedal, Andreas, et al.
Veröffentlicht: (2025)

Token Assorted: Mixing Latent and Text Tokens for Improved Language Model Reasoning
von: Su, DiJia, et al.
Veröffentlicht: (2025)

The Geometry of Reasoning: Flowing Logics in Representation Space
von: Zhou, Yufa, et al.
Veröffentlicht: (2025)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
von: Qasim, Kaleem Ullah, et al.
Veröffentlicht: (2025)

SubgoalXL: Subgoal-based Expert Learning for Theorem Proving
von: Zhao, Xueliang, et al.
Veröffentlicht: (2024)

RLSF: Fine-tuning LLMs via Symbolic Feedback
von: Jha, Piyush, et al.
Veröffentlicht: (2024)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
von: Lalwani, Abhinav, et al.
Veröffentlicht: (2024)

Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
von: Bao, Qiming, et al.
Veröffentlicht: (2022)

Consistent Joint Decision-Making with Heterogeneous Learning Models
von: Faghihi, Hossein Rajaby, et al.
Veröffentlicht: (2024)

Controlling Logical Collapse in LLMs via Algebraic Ontology Projection over F2
von: Miyashita, Hisashi, et al.
Veröffentlicht: (2026)

Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
von: Noël, Valentin
Veröffentlicht: (2026)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

FLARE: Faithful Logic-Aided Reasoning and Exploration
von: Arakelyan, Erik, et al.
Veröffentlicht: (2024)

Quantifying artificial intelligence through algorithmic generalization
von: Ito, Takuya, et al.
Veröffentlicht: (2024)

Harnessing the Power of Semi-Structured Knowledge and LLMs with Triplet-Based Prefiltering for Question Answering
von: Boer, Derian, et al.
Veröffentlicht: (2024)

Bolzano: Case Studies in LLM-Assisted Mathematical Research
von: Balko, Martin, et al.
Veröffentlicht: (2026)

Herald: A Natural Language Annotated Lean 4 Dataset
von: Gao, Guoxiong, et al.
Veröffentlicht: (2024)

Learning Explainable and Better Performing Representations of POMDP Strategies
von: Bork, Alexander, et al.
Veröffentlicht: (2024)