Image de couverture de livre

LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kirtania, Shashank, Gupta, Priyanshu, Radhakirshna, Arjun
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Artificial Intelligence Computation and Language
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

MetaReflection: Learning Instructions for Language Agents using Past Reflections
par: Gupta, Priyanshu, et autres
Publié: (2024)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
par: Liu, Qi, et autres
Publié: (2025)

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

Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025
par: Nguyen, Long S. T., et autres
Publié: (2025)

Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
par: Bao, Qiming, et autres
Publié: (2022)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
par: Zeng, Yankai, et autres
Publié: (2024)

RLSF: Fine-tuning LLMs via Symbolic Feedback
par: Jha, Piyush, et autres
Publié: (2024)

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
par: Li, Fangjun, et autres
Publié: (2024)

From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
par: Zhang, Dylan, et autres
Publié: (2024)

Symbolic Synthesis for LTLf+ Obligations
par: De Giacomo, Giuseppe, et autres
Publié: (2026)

Steering LLMs for Formal Theorem Proving
par: Kirtania, Shashank, et autres
Publié: (2025)

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
par: Wang, Keyu, et autres
Publié: (2024)

EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning
par: Basu, Kinjal, et autres
Publié: (2024)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
par: Liu, Yinhong, et autres
Publié: (2024)

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic
par: Kalyanpur, Aditya, et autres
Publié: (2024)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
par: Rahman, A M Muntasir, et autres
Publié: (2024)

DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation
par: Xu, Chen, et autres
Publié: (2024)

Logical Negation Augmenting and Debiasing for Prompt-based Methods
par: Li, Yitian, et autres
Publié: (2024)

Modeling Next-Token Prediction as Left-Nested Intuitionistic Implication
par: Tarau, Paul
Publié: (2026)

Where to Search: Measure the Prior-Structured Search Space of LLM Agents
par: Song, Zhuo-Yang
Publié: (2025)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
par: Cao, Chuxue, et autres
Publié: (2025)

Compositional Consistency-Guided Decoding for Three-Way Logical Question Answering
par: Huang, Tianyi, et autres
Publié: (2026)

Explainability by design: an experimental analysis of the legal coding process
par: Cristani, Matteo, et autres
Publié: (2025)

Question Answering with LLMs and Learning from Answer Sets
par: Borroto, Manuel, et autres
Publié: (2025)

Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
par: Boldachev, Alexander
Publié: (2025)

TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs
par: Sun, Qiang, et autres
Publié: (2025)

Generics and Default Reasoning in Large Language Models
par: Kirkpatrick, James Ravi, et autres
Publié: (2025)

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
par: Świechowski, Maciej, et autres
Publié: (2026)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
par: Srbinovska, Anita, et autres
Publié: (2026)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
par: Zhang, Xinglang, et autres
Publié: (2026)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
par: Brunello, Andrea, et autres
Publié: (2025)

ASP-Bench: From Natural Language to Logic Programs
par: Szeider, Stefan
Publié: (2026)

RvLLM: LLM Runtime Verification with Domain Knowledge
par: Zhang, Yedi, et autres
Publié: (2025)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
par: Allen, Bradley P., et autres
Publié: (2025)

Llemma: An Open Language Model For Mathematics
par: Azerbayev, Zhangir, et autres
Publié: (2023)

The Algebra of Meaning: Why Machines Need Montague More Than Moore's Law
par: Jeong, Cheonkam, et autres
Publié: (2025)

Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
par: Zhou, Yujun, et autres
Publié: (2025)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
par: Zhang, Leizhen, et autres
Publié: (2026)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
par: Bourigault, Pauline, et autres
Publié: (2026)