Buchumschlag

FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lee, Isabelle, Liaw, Sarah, Yogatama, Dani
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Causal Interventions on Causal Paths: Mapping GPT-2's Reasoning From Syntax to Semantics
von: Lee, Isabelle, et al.
Veröffentlicht: (2024)

Pelican Soup Framework: A Theoretical Framework for Language Model Capabilities
von: Chiang, Ting-Rui, et al.
Veröffentlicht: (2024)

Measuring Reasoning Trace Legibility: Can Those Who Understand Teach?
von: Roytburg, Dani, et al.
Veröffentlicht: (2026)

SHACL2FOL: An FOL Toolkit for SHACL Decision Problems
von: Pareti, Paolo
Veröffentlicht: (2024)

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
von: Liu, Junteng, et al.
Veröffentlicht: (2025)

DeLLMa: Decision Making Under Uncertainty with Large Language Models
von: Liu, Ollie, et al.
Veröffentlicht: (2024)

Evaluating Large Language Models for Fair and Reliable Organ Allocation
von: Kim, Brian Hyeongseok, et al.
Veröffentlicht: (2025)

Tracing the Traces: Latent Temporal Signals for Efficient and Accurate Reasoning
von: Vilas, Martina G., et al.
Veröffentlicht: (2025)

ReasonOps: Operator Segmentation for LLM Reasoning Traces
von: Lee, Daniel, et al.
Veröffentlicht: (2026)

EngTrace: A Symbolic Benchmark for Verifiable Process Supervision of Engineering Reasoning
von: Gull, Ayesha, et al.
Veröffentlicht: (2025)

The Shape of Reasoning: Topological Analysis of Reasoning Traces in Large Language Models
von: Tan, Xue Wen, et al.
Veröffentlicht: (2025)

Intensional FOL: Many-Sorted Extension
von: Majkic, Zoran
Veröffentlicht: (2024)

Metric Temporal Equilibrium Logic over Timed Traces
von: Becker, Arvid, et al.
Veröffentlicht: (2023)

ALGOGEN: Tool-Generated Verifiable Traces for Reliable Algorithm Visualization
von: Liao, Kunpeng, et al.
Veröffentlicht: (2026)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
von: Zang, Zhengqing, et al.
Veröffentlicht: (2026)

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles
von: Chen, Jiangjie, et al.
Veröffentlicht: (2025)

LocateBench: Evaluating the Locating Ability of Vision Language Models
von: Chiang, Ting-Rui, et al.
Veröffentlicht: (2024)

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
von: Viswanadha, Koushik, et al.
Veröffentlicht: (2025)

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

Generating Verifiable Chain of Thoughts from Exection-Traces
von: Thakur, Shailja, et al.
Veröffentlicht: (2025)

Interpretable Diffusion via Information Decomposition
von: Kong, Xianghao, et al.
Veröffentlicht: (2023)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
von: Olausson, Theo X., et al.
Veröffentlicht: (2023)

Efficient Knowledge Tracing Leveraging Higher-Order Information in Integrated Graphs
von: Han, Donghee, et al.
Veröffentlicht: (2025)

Learning When Not to Learn: Risk-Sensitive Abstention in Bandits with Unbounded Rewards
von: Liaw, Sarah, et al.
Veröffentlicht: (2025)

Plausible Reasoning and First-Order Plausible Logic
von: Billington, David
Veröffentlicht: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Evaluating Legal Reasoning Traces with Legal Issue Tree Rubrics
von: Lee, Jinu, et al.
Veröffentlicht: (2025)

SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
von: Huh, Gio, et al.
Veröffentlicht: (2025)

Logic-Regularized Verifier Elicits Reasoning from LLMs
von: Wang, Xinyu, et al.
Veröffentlicht: (2026)

Extracting Search Trees from LLM Reasoning Traces Reveals Myopic Planning
von: Chen, Sixing, et al.
Veröffentlicht: (2026)

The Shape of Overthinking: Backtracking Bursts in Long Reasoning Traces
von: Rezazadeh, Navid, et al.
Veröffentlicht: (2026)

Revisiting the UID Hypothesis in LLM Reasoning Traces
von: Gwak, Minju, et al.
Veröffentlicht: (2025)

TRAIL: Trace Reasoning and Agentic Issue Localization
von: Deshpande, Darshan, et al.
Veröffentlicht: (2025)

Position: Stop Anthropomorphizing Intermediate Tokens as Reasoning/Thinking Traces!
von: Kambhampati, Subbarao, et al.
Veröffentlicht: (2025)

Trace Length is a Simple Uncertainty Signal in Reasoning Models
von: Devic, Siddartha, et al.
Veröffentlicht: (2025)

The Potential of CoT for Reasoning: A Closer Look at Trace Dynamics
von: Bachmann, Gregor, et al.
Veröffentlicht: (2026)

Reasoning Traces Shape Outputs but Models Won't Say So
von: Hao, Yijie, et al.
Veröffentlicht: (2026)

Answering the Wrong Question: Reasoning Trace Inversion for Abstention in LLMs
von: Gourabathina, Abinitha, et al.
Veröffentlicht: (2026)

Tracing Uncertainty in Language Model "Reasoning"
von: Grünefeld, Nils, et al.
Veröffentlicht: (2026)

VeRA: Verified Reasoning Data Augmentation at Scale
von: Cheng, Zerui, et al.
Veröffentlicht: (2026)