:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Fang, Jiwei, Zhang, Bin, Wang, Changwei, Wan, Jin, Xu, Zhiwei
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2506.12509
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Directed Acyclic Graph Structure Learning from Dynamic Graphs
by: Fan, Shaohua, et al.
Published: (2022)

S-DAG: A Subject-Based Directed Acyclic Graph for Multi-Agent Heterogeneous Reasoning
by: Dong, Jiangwen, et al.
Published: (2025)

Discovering Directly-Follows Graph Model for Acyclic Processes
by: Shaimov, Nikita, et al.
Published: (2025)

CORE-Acu: Structured Reasoning Traces and Knowledge Graph Safety Verification for Acupuncture Clinical Decision Support
by: Xu, Liuyi, et al.
Published: (2026)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
by: Wu, Yanrui, et al.
Published: (2026)

GraphReason: Enhancing Reasoning Capabilities of Large Language Models through A Graph-Based Verification Approach
by: Cao, Lang
Published: (2023)

Uncovering Hidden Correctness in LLM Causal Reasoning via Symbolic Verification
by: He, Paul, et al.
Published: (2026)

DAG-AFL:Directed Acyclic Graph-based Asynchronous Federated Learning
by: Zhang, Shuaipeng, et al.
Published: (2025)

Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
by: Ladner, Tobias, et al.
Published: (2024)

STRIVE: Structured Reasoning for Self-Improvement in Claim Verification
by: Gong, Haisong, et al.
Published: (2025)

NCV: A Node-Wise Consistency Verification Approach for Low-Cost Structured Error Localization in LLM Reasoning
by: Zhang, Yulong, et al.
Published: (2025)

A Topological Sorting Criterion for Random Causal Directed Acyclic Graphs
by: Reisach, Alexander G., et al.
Published: (2026)

Co-Sight: Enhancing LLM-Based Agents via Conflict-Aware Meta-Verification and Trustworthy Reasoning with Structured Facts
by: Zhang, Hongwei, et al.
Published: (2025)

Unfaithful Probability Distributions in Binary Triple of Causality Directed Acyclic Graph
by: Liu, Jingwei
Published: (2025)

SeaDAG: Semi-autoregressive Diffusion for Conditional Directed Acyclic Graph Generation
by: Zhou, Xinyi, et al.
Published: (2024)

SAGE-LLM: Towards Safe and Generalizable LLM Controller with Fuzzy-CBF Verification and Graph-Structured Knowledge Retrieval for UAV Decision
by: Zhao, Wenzhe, et al.
Published: (2026)

COPYCOP: Ownership Verification for Graph Neural Networks
by: Nandakumar, Rahul, et al.
Published: (2026)

VeriHGN: Heterogeneous Graph-Based Congestion Prediction for Chip Layout Verification
by: Hu, Runbang, et al.
Published: (2026)

DAG-Plan: Generating Directed Acyclic Dependency Graphs for Dual-Arm Cooperative Planning
by: Gao, Zeyu, et al.
Published: (2024)

MolecularIQ: Characterizing Chemical Reasoning Capabilities Through Symbolic Verification on Molecular Graphs
by: Bartmann, Christoph, et al.
Published: (2026)

Diverse Inference and Verification for Advanced Reasoning
by: Drori, Iddo, et al.
Published: (2025)

Inference-Time Scaling of Verification: Self-Evolving Deep Research Agents via Test-Time Rubric-Guided Verification
by: Wan, Yuxuan, et al.
Published: (2026)

LegalReasoner: Step-wised Verification-Correction for Legal Judgment Reasoning
by: Shi, Weijie, et al.
Published: (2025)

Improving LLM Reasoning through Scaling Inference Computation with Collaborative Verification
by: Liang, Zhenwen, et al.
Published: (2024)

Reasoning Paths as Signals: Augmenting Multi-hop Fact Verification through Structural Reasoning Progression
by: Zheng, Liwen, et al.
Published: (2025)

Pedestrian Attribute Recognition via Hierarchical Cross-Modality HyperGraph Learning
by: Wang, Xiao, et al.
Published: (2025)

Self-Verification Dilemma: Experience-Driven Suppression of Overused Checking in LLM Reasoning
by: Long, Quanyu, et al.
Published: (2026)

RvLLM: LLM Runtime Verification with Domain Knowledge
by: Zhang, Yedi, et al.
Published: (2025)

Internalizing Safety Understanding in Large Reasoning Models via Verification
by: Zhang, Yi, et al.
Published: (2026)

RVISA: Reasoning and Verification for Implicit Sentiment Analysis
by: Lai, Wenna, et al.
Published: (2024)

Improving LLM Reasoning with Homophily-aware Structural and Semantic Text-Attributed Graph Compression
by: Di, Zijun, et al.
Published: (2026)

One-Token Verification for Reasoning Correctness Estimation
by: Zhuang, Zhan, et al.
Published: (2026)

Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification
by: Viswambharan, Vaisakh Naduvodi, et al.
Published: (2026)

Subgoal Graph-Augmented Planning for LLM-Guided Open-World Reinforcement Learning
by: Fan, Shanwei, et al.
Published: (2025)

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

Coordinating Search-Informed Reasoning and Reasoning-Guided Search in Claim Verification
by: Hu, Qisheng, et al.
Published: (2025)

SpeakerLLM: A Speaker-Specialized Audio-LLM for Speaker Understanding and Verification Reasoning
by: Nam, KiHyun, et al.
Published: (2026)

Schema-Aware Planning and Hybrid Knowledge Toolset for Reliable Knowledge Graph Triple Verification
by: Ma, Xinyan, et al.
Published: (2026)

TinyV: Reducing False Negatives in Verification Improves RL for LLM Reasoning
by: Xu, Zhangchen, et al.
Published: (2025)

SVSR: A Self-Verification and Self-Rectification Paradigm for Multimodal Reasoning
by: Qian, Zhe, et al.
Published: (2026)