盛杨 Yang Sheng

@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}
}

@inproceedings{sheng2026circuit,
  title={Circuit Claims Depend on What Is Extracted and How It Is Compared},
  author={Yang Sheng and Jie Fu},
  booktitle={The Fortieth Annual Conference on Neural Information Processing Systems},
  year={2026},
  url={https://openreview.net/forum?id=7RfZ1ThE5z}
}