TY  - RPRT
TI  - FormalJudge: A Neuro-Symbolic Paradigm for Agentic Oversight
AU  - Jiayi Zhou
AU  - Yang Sheng
AU  - Hantao Lou
AU  - Yaodong Yang
AU  - Jie Fu
PY  - 2026
UR  - https://arxiv.org/abs/2602.11136
ID  - 2602.11136
ER  -