Copertina

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Rashid, Adnan
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

ReasonOps: Operator Segmentation for LLM Reasoning Traces
di: Lee, Daniel, et al.
Pubblicazione: (2026)

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
di: Farjami, Ali, et al.
Pubblicazione: (2026)

Proof Recommendation System for the HOL4 Theorem Prover
di: Dekhil, Nour, et al.
Pubblicazione: (2024)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
di: Tudor, Alexis R., et al.
Pubblicazione: (2025)

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
di: Guasch, Antoni, et al.
Pubblicazione: (2025)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

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

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
di: Ospanov, Azim, et al.
Pubblicazione: (2025)

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

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
di: Pati, Viresh, et al.
Pubblicazione: (2026)

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

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic
di: Kalyanpur, Aditya, et al.
Pubblicazione: (2024)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
di: Allen, Bradley P., et al.
Pubblicazione: (2025)

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)

Inference of Abstraction for a Unified Account of Reasoning and Learning
di: Kido, Hiroyuki
Pubblicazione: (2024)

Reasoning in Neurosymbolic AI
di: Tran, Son, et al.
Pubblicazione: (2025)

Defeasible Reasoning on Concepts
di: Ding, Yiwen, et al.
Pubblicazione: (2024)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
di: Lee, Jihwan, et al.
Pubblicazione: (2024)

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

A framework for Conditional Reasoning in Answer Set Programming
di: Alviano, Mario, et al.
Pubblicazione: (2025)

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

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
di: Vitali, Fabio
Pubblicazione: (2025)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2022)

Dsat: A Native SAT Solver for Discrete Logic
di: Zhang, Yaofang, et al.
Pubblicazione: (2026)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
di: Bhat, Vishak K, et al.
Pubblicazione: (2026)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
di: Zang, Zhengqing, et al.
Pubblicazione: (2026)

Formally Verified Approximate Policy Iteration
di: Schäffeler, Maximilian, et al.
Pubblicazione: (2024)

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

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
di: Nikooroo, Saleh, et al.
Pubblicazione: (2025)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
di: Gladyshev, Maksim, et al.
Pubblicazione: (2025)

Large Language Models Imitate Logical Reasoning, but at what Cost?
di: McGinness, Lachlan, et al.
Pubblicazione: (2025)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
di: D'Asaro, Fabio Aurelio, et al.
Pubblicazione: (2022)

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

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
di: Schön, Oliver, et al.
Pubblicazione: (2026)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
di: Arkoudas, Konstantine, et al.
Pubblicazione: (2026)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
di: Hofmann, Till, et al.
Pubblicazione: (2024)

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

Formally Verified Certification of Unsolvability of Temporal Planning Problems
di: Wang, David, et al.
Pubblicazione: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
di: Orvalho, Pedro, et al.
Pubblicazione: (2026)