Cover Image

FormalJudge: A Neuro-Symbolic Paradigm for Agentic Oversight

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhou, Jiayi, Sheng, Yang, Lou, Hantao, Yang, Yaodong, Fu, Jie
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SAE-V: Interpreting Multimodal Models for Enhanced Alignment
by: Lou, Hantao, et al.
Published: (2025)

Stream Aligner: Efficient Sentence-Level Alignment via Distribution Induction
by: Lou, Hantao, et al.
Published: (2025)

End-to-End Neuro-Symbolic Reinforcement Learning with Textual Explanations
by: Luo, Lirui, et al.
Published: (2024)

An Agentic Framework for Neuro-Symbolic Programming
by: Nafar, Aliakbar, et al.
Published: (2026)

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

Language Models Resist Alignment: Evidence From Data Compression
by: Ji, Jiaming, et al.
Published: (2024)

REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
by: Wan, Zishen, et al.
Published: (2026)

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction
by: Ambati, Murari
Published: (2025)

Neuro-Symbolic Verification on Instruction Following of LLMs
by: Su, Yiming, et al.
Published: (2026)

Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024)

CLAUSE: Agentic Neuro-Symbolic Knowledge Graph Reasoning via Dynamic Learnable Context Engineering
by: Zhao, Yang, et al.
Published: (2025)

Lifting Traces to Logic: Programmatic Skill Induction with Neuro-Symbolic Learning for Long-Horizon Agentic Tasks
by: Shao, Jie-Jing, et al.
Published: (2026)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
by: Zhang, Liao, et al.
Published: (2026)

Neuro-Symbolic AI: Explainability, Challenges, and Future Trends
by: Zhang, Xin, et al.
Published: (2024)

Bridging the Gap: Representation Spaces in Neuro-Symbolic AI
by: Zhang, Xin, et al.
Published: (2024)

NeSy-Route: A Neuro-Symbolic Benchmark for Constrained Route Planning in Remote Sensing
by: Yang, Ming, et al.
Published: (2026)

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
by: Sharan, S P, et al.
Published: (2024)

Learning for Long-Horizon Planning via Neuro-Symbolic Abductive Imitation
by: Shao, Jie-Jing, et al.
Published: (2024)

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

Compositional Neuro-Symbolic Reasoning
by: Das, Anugyan, et al.
Published: (2026)

Federated Neuro-Symbolic Learning
by: Xing, Pengwei, et al.
Published: (2023)

Scalable Oversight for Superhuman AI via Recursive Self-Critiquing
by: Wen, Xueru, et al.
Published: (2025)

Oversight Structures for Agentic AI in Public-Sector Organizations
by: Schmitz, Chris, et al.
Published: (2025)

Tiered Agentic Oversight: A Hierarchical Multi-Agent System for Healthcare Safety
by: Kim, Yubin, et al.
Published: (2025)

Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
by: Yang, Xiao-Wen, et al.
Published: (2025)

Towards Neuro-Symbolic Video Understanding
by: Choi, Minkyu, et al.
Published: (2024)

Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
by: Zhang, Xuan, et al.
Published: (2025)

Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
by: Jia, Lin-Han, et al.
Published: (2025)

A Semantic Framework for Neuro-Symbolic Computing
by: Odense, Simon, et al.
Published: (2022)

Neuro-Symbolic AI for Military Applications
by: Hagos, Desta Haileselassie, et al.
Published: (2024)

Assured Autonomy with Neuro-Symbolic Perception
by: Hallyburton, R. Spencer, et al.
Published: (2025)

Contextual Invertible World Models: A Neuro-Symbolic Agentic Framework for Colorectal Cancer Drug Response
by: Baker, Christopher, et al.
Published: (2026)

You Only Forward Once: An Efficient Compositional Judging Paradigm
by: Zhang, Tianlong, et al.
Published: (2025)

ReacTOD: Bounded Neuro-Symbolic Agentic NLU for Zero-Shot Dialogue State Tracking
by: Lin, Yanjun, et al.
Published: (2026)

KANFIS: A Neuro-Symbolic Framework for Interpretable and Uncertainty-Aware Learning
by: Yong, Binbin, et al.
Published: (2026)

Sequence to Sequence Reward Modeling: Improving RLHF by Language Feedback
by: Zhou, Jiayi, et al.
Published: (2024)

Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
by: Yang, Sen, et al.
Published: (2023)

Neuro-Symbolic Rule Lists
by: Xu, Sascha, et al.
Published: (2024)

CRAFT-E: A Neuro-Symbolic Framework for Embodied Affordance Grounding
by: Chen, Zhou, et al.
Published: (2025)

WALL-E 2.0: World Alignment by NeuroSymbolic Learning improves World Model-based LLM Agents
by: Zhou, Siyu, et al.
Published: (2025)