From requirements to checkable behavior
Conceptual illustrationFormalJudge: A Neuro-Symbolic Paradigm for Agentic Oversight
* Equal contribution.
Connecting natural-language requirements to formal specifications, so agent oversight can include checks beyond a model’s judgment alone.
BibTeX · ICML 2026
@inproceedings{pmlr-v306-zhou26ao,
title={{F}ormal{J}udge: A Neuro-Symbolic Paradigm for Agentic Oversight},
author={Zhou, Jiayi and Sheng, Yang and Lou, Hantao and Yang, Yaodong and Fu, Jie},
booktitle={Proceedings of the 43rd International Conference on Machine Learning},
pages={165723--165752},
year={2026},
volume={306},
series={Proceedings of Machine Learning Research},
publisher={PMLR},
url={https://proceedings.mlr.press/v306/zhou26ao.html}
}