Li, Zhaoyu

11 publications

CVPR 2025 Decoupling Training-Free Guided Diffusion by ADMM Youyuan Zhang, Zehua Liu, Zenan Li, Zhaoyu Li, James J. Clark, Xujie Si

ICLR 2025 Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma

NeurIPS 2024 Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Fan Yang, Xian Zhang, Xiaoxing Ma

ICML 2024 Autoformalizing Euclidean Geometry Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si

TMLR 2024 G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks Zhaoyu Li, Jinpei Guo, Xujie Si

NeurIPS 2024 LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation Bowen Li, Zhaoyu Li, Qiwei Du, Jinqi Luo, Wenshan Wang, Yaqi Xie, Simon Stepputtis, Chen Wang, Katia Sycara, Pradeep Ravikumar, Alexander Gray, Xujie Si, Sebastian Scherer

NeurIPS 2023 Learning Reliable Logical Rules with SATNet Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si

NeurIPS 2023 Neuro-Symbolic Learning Yielding Logical Constraints Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu

NeurIPS 2022 NSNet: A General Neural Probabilistic Framework for Satisfiability Problems Zhaoyu Li, Xujie Si

UAI 1993 An Efficient Approach for Finding the MPE in Belief Networks Zhaoyu Li, Bruce D'Ambrosio

UAI 1992 Parallelizing Probabilistic Inference: Some Early Explorations Bruce D'Ambrosio, Tony Fountain, Zhaoyu Li