Image de couverture de livre

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Singh, Vikash, Cassel, Darion, Weir, Nathaniel, Feng, Nick, Bayless, Sam
Format:	Preprint
Publié:	2026
Sujets:	Computation and Language Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
par: Feng, Yu, et autres
Publié: (2025)

ReSyn: Autonomously Scaling Synthetic Environments for Reasoning Models
par: He, Andre, et autres
Publié: (2026)

A Neurosymbolic Approach to Natural Language Formalization and Verification
par: Bayless, Sam, et autres
Publié: (2025)

TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
par: Fu, Daocheng, et autres
Publié: (2025)

Learning to Reason via Program Generation, Emulation, and Search
par: Weir, Nathaniel, et autres
Publié: (2024)

Generating Data-Driven Reasoning Rubrics for Domain-Adaptive Reward Modeling
par: Sanders, Kate, et autres
Publié: (2026)

Reframing Tax Law Entailment as Analogical Reasoning
par: Zou, Xinrui, et autres
Publié: (2024)

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
par: Quan, Xin, et autres
Publié: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
par: Farjami, Ali, et autres
Publié: (2026)

On Verifiable Legal Reasoning: A Multi-Agent Framework with Formalized Knowledge Representations
par: Sadowski, Albert, et autres
Publié: (2025)

Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability
par: Wang, Ruida, et autres
Publié: (2025)

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
par: Singh, Vikash, et autres
Publié: (2026)

LLM driven Text-to-Table Generation through Sub-Tasks Guidance and Iterative Refinement
par: C, Rajmohan, et autres
Publié: (2025)

Reliable Reasoning Path: Distilling Effective Guidance for LLM Reasoning with Knowledge Graphs
par: Xiao, Yilin, et autres
Publié: (2025)

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
par: Ganguly, Debargha, et autres
Publié: (2025)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
par: Cao, Jialun, et autres
Publié: (2025)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
par: Ileri, Atalay Mert, et autres
Publié: (2024)

TV-TREES: Multimodal Entailment Trees for Neuro-Symbolic Video Reasoning
par: Sanders, Kate, et autres
Publié: (2024)

Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning
par: Beiser, Alexander, et autres
Publié: (2025)

Plan Then Action:High-Level Planning Guidance Reinforcement Learning for LLM Reasoning
par: Dou, Zhihao, et autres
Publié: (2025)

RGD: Multi-LLM Based Agent Debugger via Refinement and Generation Guidance
par: Jin, Haolin, et autres
Publié: (2024)

NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning
par: Weir, Nathaniel, et autres
Publié: (2022)

Verify Before You Commit: Towards Faithful Reasoning in LLM Agents via Self-Auditing
par: Yuan, Wenhao, et autres
Publié: (2026)

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
par: Zhou, Jin Peng, et autres
Publié: (2024)

"According to ...": Prompting Language Models Improves Quoting from Pre-Training Data
par: Weller, Orion, et autres
Publié: (2023)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
par: Ravi, Nikil, et autres
Publié: (2026)

GeoLLM-Engine: A Realistic Environment for Building Geospatial Copilots
par: Singh, Simranjit, et autres
Publié: (2024)

Examining Reasoning LLMs-as-Judges in Non-Verifiable LLM Post-Training
par: Liu, Yixin, et autres
Publié: (2026)

Verifier-Backed Hard Problem Generation for Mathematical Reasoning
par: Lai, Yuhang, et autres
Publié: (2026)

LLatrieval: LLM-Verified Retrieval for Verifiable Generation
par: Li, Xiaonan, et autres
Publié: (2023)

Steering LLM Thinking with Budget Guidance
par: Li, Junyan, et autres
Publié: (2025)

Logic-Regularized Verifier Elicits Reasoning from LLMs
par: Wang, Xinyu, et autres
Publié: (2026)

TEaR: Improving LLM-based Machine Translation with Systematic Self-Refinement
par: Feng, Zhaopeng, et autres
Publié: (2024)

From Reasoning Chains to Verifiable Subproblems: Curriculum Reinforcement Learning Enables Credit Assignment for LLM Reasoning
par: Jiang, Xitai, et autres
Publié: (2026)

Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
par: Sivakumar, Jasivan Alex, et autres
Publié: (2025)

Assessing and Verifying Task Utility in LLM-Powered Applications
par: Arabzadeh, Negar, et autres
Publié: (2024)

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
par: Liu, Junteng, et autres
Publié: (2025)

Learning to Self-Verify Makes Language Models Better Reasoners
par: Chen, Yuxin, et autres
Publié: (2026)

Search and Refine During Think: Facilitating Knowledge Refinement for Improved Retrieval-Augmented Reasoning
par: Shi, Yaorui, et autres
Publié: (2025)

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
par: Barone, Antonio Valerio Miceli, et autres
Publié: (2026)