Copertina

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Farjami, Ali, Redondi, Luca, Valentino, Marco
Natura:	Preprint
Pubblicazione:	2026
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

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
di: Zhang, Xinglang, et al.
Pubblicazione: (2026)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
di: Hansen, Zachary
Pubblicazione: (2025)

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
di: Wan, Yuxuan, et al.
Pubblicazione: (2024)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
di: He, Haoyuan, et al.
Pubblicazione: (2022)

Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
di: Zhou, Yujun, et al.
Pubblicazione: (2025)

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
di: Horner, Elias, et al.
Pubblicazione: (2025)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
di: Ileri, Atalay Mert, et al.
Pubblicazione: (2024)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
di: Mensfelt, Agnieszka, et al.
Pubblicazione: (2024)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
di: Howlader, Prosenjit, et al.
Pubblicazione: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
di: Bourgaux, Camille, et al.
Pubblicazione: (2025)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
di: Liu, Yinhong, et al.
Pubblicazione: (2024)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
di: Cao, Chuxue, et al.
Pubblicazione: (2025)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
di: Rahman, A M Muntasir, et al.
Pubblicazione: (2024)

The Geometry of Reasoning: Flowing Logics in Representation Space
di: Zhou, Yufa, et al.
Pubblicazione: (2025)

FLARE: Faithful Logic-Aided Reasoning and Exploration
di: Arakelyan, Erik, et al.
Pubblicazione: (2024)

Logical Relations for Formally Verified Authenticated Data Structures
di: Gregersen, Simon Oddershede, et al.
Pubblicazione: (2025)

Categorical Construction of Logically Verifiable Neural Architectures
di: Nye, Logan
Pubblicazione: (2025)

Formal Explanations for Neuro-Symbolic AI
di: Paul, Sushmita, et al.
Pubblicazione: (2024)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
di: Bollig, Benedikt
Pubblicazione: (2026)

ASP-Bench: From Natural Language to Logic Programs
di: Szeider, Stefan
Pubblicazione: (2026)

Logical Negation Augmenting and Debiasing for Prompt-based Methods
di: Li, Yitian, et al.
Pubblicazione: (2024)

Are Language Models Efficient Reasoners? A Perspective from Logic Programming
di: Opedal, Andreas, et al.
Pubblicazione: (2025)

Compositional Consistency-Guided Decoding for Three-Way Logical Question Answering
di: Huang, Tianyi, et al.
Pubblicazione: (2026)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
di: Miya, Shinobu
Pubblicazione: (2025)

Integrating Fuzzy Logic into Deep Symbolic Regression
di: Gerdes, Wout, et al.
Pubblicazione: (2024)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
di: Nerode, Anil, et al.
Pubblicazione: (2024)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
di: Chen, Michael K., et al.
Pubblicazione: (2025)

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

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
di: Olson, Taylor
Pubblicazione: (2026)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

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

Correct Chains, Wrong Answers: Dissociating Reasoning from Output in LLM Logic
di: Rao, Abinav, et al.
Pubblicazione: (2026)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
di: Zhao, Yanxiao, et al.
Pubblicazione: (2025)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
di: Yubeaton, Patrick, et al.
Pubblicazione: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
di: Chevallier, Mark, et al.
Pubblicazione: (2025)

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
di: Quan, Xin, et al.
Pubblicazione: (2025)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
di: Mukherji, Kaustuv, et al.
Pubblicazione: (2025)

Controlling Logical Collapse in LLMs via Algebraic Ontology Projection over F2
di: Miyashita, Hisashi, et al.
Pubblicazione: (2026)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
di: Wang, Ruolin, et al.
Pubblicazione: (2024)

The Transformation Logics
di: Ronca, Alessandro
Pubblicazione: (2023)