ML Anthology

Si, Xujie

21 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
ICML 2025 TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories Honghua Dong, Jiacheng Yang, Xun Deng, Yuhe Jiang, Gennady Pekhimenko, Fan Long, Xujie Si
ICLRW 2025 TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories Yuhe Jiang, Xun Deng, Jiacheng Yang, Honghua Dong, Gennady Pekhimenko, Fan Long, Xujie Si
ICML 2024 Autoformalizing Euclidean Geometry Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
NeurIPS 2024 Code Repair with LLMs Gives an Exploration-Exploitation Tradeoff Hao Tang, Keya Hu, Jin Peng Zhou, Sicheng Zhong, Wei-Long Zheng, Xujie Si, Kevin Ellis
ICLRW 2024 Enhancing and Evaluating Logical Reasoning Abilities of Large Language Models Shujie Deng, Honghua Dong, Xujie Si
TMLR 2024 G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks Zhaoyu Li, Jinpei Guo, Xujie Si
NeurIPSW 2024 Library Learning Doesn’t: The Curious Case of the Single-Use “Library” Ian Berlot-Attwell, Frank Rudzicz, 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
ACML 2024 Towards Robust Saliency Maps Nham Le, Arie Gurfinkel, Xujie Si, Chuqin Geng
NeurIPS 2023 Learning Reliable Logical Rules with SATNet Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si
NeurIPSW 2023 Scalar Invariant Networks with Zero Bias Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si
ICML 2023 Towards Reliable Neural Specifications Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si
NeurIPS 2022 NSNet: A General Neural Probabilistic Framework for Satisfiability Problems Zhaoyu Li, Xujie Si
NeurIPS 2021 Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si
NeurIPSW 2021 Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si
NeurIPS 2021 Techniques for Symbol Grounding with SATNet Sever Topan, David Rolnick, Xujie Si
ICLR 2019 Learning a Meta-Solver for Syntax-Guided Program Synthesis Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song
IJCAI 2019 Synthesizing Datalog Programs Using Numerical Relaxation Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
NeurIPS 2018 Learning Loop Invariants for Program Verification Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song