Imagen de Portada

VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Feng, Yu, Weir, Nathaniel, Bostrom, Kaj, Bayless, Sam, Cassel, Darion, Chaudhary, Sapana, Kiesl-Reiter, Benjamin, Rangwala, Huzefa
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Computation and Language
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

ReSyn: Autonomously Scaling Synthetic Environments for Reasoning Models
por: He, Andre, et al.
Publicado: (2026)

Generating Data-Driven Reasoning Rubrics for Domain-Adaptive Reward Modeling
por: Sanders, Kate, et al.
Publicado: (2026)

MaxCode: A Max-Reward Reinforcement Learning Framework for Automated Code Optimization
por: Ou, Jiefu, et al.
Publicado: (2026)

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
por: Singh, Vikash, et al.
Publicado: (2026)

Offline Learning and Forgetting for Reasoning with Large Language Models
por: Ni, Tianwei, et al.
Publicado: (2025)

AgentOccam: A Simple Yet Strong Baseline for LLM-Based Web Agents
por: Yang, Ke, et al.
Publicado: (2024)

The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
por: Pengmei, Zihan, et al.
Publicado: (2025)

DeCaf: A Causal Decoupling Framework for OOD Generalization on Node Classification
por: Han, Xiaoxue, et al.
Publicado: (2024)

DispaRisk: Auditing Fairness Through Usable Information
por: Vasquez, Jonathan, et al.
Publicado: (2024)

Neuro-symbolic Learning Yielding Logical Constraints
por: Li, Zenan, et al.
Publicado: (2024)

TV-TREES: Multimodal Entailment Trees for Neuro-Symbolic Video Reasoning
por: Sanders, Kate, et al.
Publicado: (2024)

NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning
por: Weir, Nathaniel, et al.
Publicado: (2022)

A Logically Consistent Chain-of-Thought Approach for Stance Detection
por: Zhang, Bowen, et al.
Publicado: (2023)

Protein Structure Tokenization: Benchmarking and New Recipe
por: Yuan, Xinyu, et al.
Publicado: (2025)

A Neurosymbolic Approach to Natural Language Formalization and Verification
por: Bayless, Sam, et al.
Publicado: (2025)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
por: Xu, Weidi, et al.
Publicado: (2023)

Pushing the Limits of All-Atom Geometric Graph Neural Networks: Pre-Training, Scaling and Zero-Shot Transfer
por: Pengmei, Zihan, et al.
Publicado: (2024)

The conduct of United States foreign policy in the Nation's Third Century / Bayless Manning
por: Manning, Bayless
Publicado: (1976)

Librarianship is a Discipline
por: Bayless, Sandy
Publicado: (1977)

Skill-Related Uncertainty and Expected Value in 5- to 7-Year-Olds
por: Sarah Bayless
Publicado: (2010)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
por: Sharifi, Iman, et al.
Publicado: (2026)

MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning
por: Sprague, Zayne, et al.
Publicado: (2023)

NSA: Neuro-symbolic ARC Challenge
por: Batorski, Paweł, et al.
Publicado: (2025)

Risk-Averse Finetuning of Large Language Models
por: Chaudhary, Sapana, et al.
Publicado: (2025)

Logically Consistent Language Models via Neuro-Symbolic Integration
por: Calanzone, Diego, et al.
Publicado: (2024)

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
por: Cosler, Matthias, et al.
Publicado: (2024)

To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning
por: Sprague, Zayne, et al.
Publicado: (2024)

LAKEGEN: A LLM-based Tabular Corpus Generator for Evaluating Dataset Discovery in Data Lakes
por: Dai, Zhenwei, et al.
Publicado: (2025)

From Demonstrations to Rewards: Alignment Without Explicit Human Preferences
por: Zeng, Siliang, et al.
Publicado: (2025)

Relatron: Automating Relational Machine Learning over Relational Databases
por: Chen, Zhikai, et al.
Publicado: (2026)

Reliable Chain-of-Thought via Prefix Consistency
por: Iwase, Naoto, et al.
Publicado: (2026)

Optimization for benzeneacetic acid removal from aqueous solution using CaO2 nanoparticles based on Taguchi method
por: Sapana S. Madan
Publicado: (2017)

Softened Symbol Grounding for Neuro-symbolic Systems
por: Li, Zenan, et al.
Publicado: (2024)

Neuro-symbolic Weak Supervision: Theory and Semantics
por: Upreti, Nijesh, et al.
Publicado: (2025)

Pedagogical Alignment of Large Language Models
por: Sonkar, Shashank, et al.
Publicado: (2024)

Faithful Logical Reasoning via Symbolic Chain-of-Thought
por: Xu, Jundong, et al.
Publicado: (2024)

BioBridge: Bridging Biomedical Foundation Models via Knowledge Graphs
por: Wang, Zifeng, et al.
Publicado: (2023)

On Robustness and Chain-of-Thought Consistency of RL-Finetuned VLMs
por: Zhao, Rosie, et al.
Publicado: (2026)

Clear Chain-of-Thought (ClearCoT)
por: Sagić, Andrija
Publicado: (2026)

Model Checking Matrix Product States against Linear Chain Logic
por: Xu, Ming, et al.
Publicado: (2026)