Fuyuan Zhang — accepted AI-conference papers

2026

Enhancing Neural Theorem Proving via High-Quality Proof Selection and Verifier Feedback

Xiaoxue Zhu, Jilin Hu, Fuyuan Zhang, Jianyu Zhang, Yongwang Zhao

ICML 2026poster

Recent advances in large language models have accelerated neural theorem proving (NTP). Isabelle is a mature and important formal theorem prover that has been widely used in software and hardware verification. However, progress in the Isabelle setting remains limited. Existing approaches either opti…

Cited by 0 Source ↗Scholar ↗

2023

DeepGemini: Verifying Dependency Fairness for Deep Neural Network

Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma

AAAI 2023technical

Deep neural networks (DNNs) have been widely adopted in many decision-making industrial applications. Their fairness issues, i.e., whether there exist unintended biases in the DNN, receive much attention and become critical concerns, which can directly cause negative impacts in our daily life and po…

Cited by 7 Source ↗PDF ↗code ↗Scholar ↗