Publications

2026

Is This LLM Library Learning? Evaluation Must Account For Compute and Behaviour
Ian Berlot-Attwell, Tobias Sesterhenn, Frank Rudzicz, Xujie Si
EACL 2026 Oral
LogicXGNN: Grounded Logical Rules for Explaining Graph Neural Networks
Chuqin Geng, Ziyu Zhao, Zhaoyue Wang, Haolin Ye, Yuhe Jiang, Xujie Si
ICLR 2026
Divide and Abstract: Autoformalization via Decomposition and Abstraction Learning
Marcus Min, Yeqi Gao, Wilson Sy, Zhaoyu Li, Xujie Si, Osbert Bastani
ICLR 2026

2025

PyEuclid: A Versatile Formal Plane Geometry System in Python
Zhaoyu Li*, Hangrui Bi*, Jianliang Sun*, Zenan Li, Kaiyu Yang, Xujie Si
CAV 2025
TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
Honghua Dong, Jiacheng Yang, Xun Deng, Yuhe Jiang, Gennady Pekhimenko, Fan Long, Xujie Si
ICML 2025
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
Honghua Dong*, Qidong Su*, Yubo Gao, Zhaoyu Li, Yangjun Ruan, Gennady Pekhimenko, Chris J. Maddison, Xujie Si
ACL 2025
A Large-Scale Study of Behavioral Metric Learning on Distracting Reinforcement Learning Environments
Ziyan (Ray) Luo, Tianwei Ni, Pierre-Luc Bacon, Doina Precup, Xujie Si
RLC 2025
Learning Minimal Neural Specifications
Chuqin Geng, Zhaoyue Wang, Haolin Ye, Xujie Si
NeuS 2025: International Conference on Neuro-symbolic Systems Oral
Decoupling Training-Free Guided Diffusion by ADMM
Youyuan Zhang, Zehua Liu, Zenan Li, Zhaoyu Li, James J. Clark, Xujie Si
CVPR 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
ICLR 2025

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 P. Sycara, Pradeep Kumar Ravikumar, Alexander G. Gray, Xujie Si, Sebastian Scherer
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
NeurIPS 2024
Modernizing SMT-Based Type Error Localization
Max Kopinsky, Brigitte Pientka, Xujie Si
FMCAD 2024
Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
Ziyan Luo, Xujie Si
The 7th International Symposium on AI Verification (SAIV), 2024
A Survey on Deep Learning for Theorem Proving
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
COLM 2024
Autoformalizing Euclidean Geometry
Logan Murphy*, Kaiyu Yang*, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
ICML 2024
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
Zhaoyu Li, Jinpei Guo, Xujie Si
Transactions on Machine Learning Research (TMLR) 2024

2023

Learning Reliable Logical Rules with SATNet
Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si
NeurIPS 2023
Towards Reliable Neural Specifications
Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si
ICML 2023 Oral
slides & talk recording
TorchProbe: Fuzzing Dynamic Deep Learning Compilers
Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si
APLAS 2023
Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students
Chuqin Geng, Wenwen Xu, Yingjie Xu, Brigitte Pientka, Xujie Si
SIGCSE 2023

2022

NSNet: A General Neural Probabilistic Framework for Satisfiability Problems
Zhaoyu Li, Xujie Si
NeurIPS 2022
Novice Type Error Diagnosis with Natural Language Models
Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si
APLAS 2022

2021

Techniques for Symbol Grounding with SATNet
Sever Topan, David Rolnick, Xujie Si
NeurIPS 2021 Spotlight
paper slides code
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
paper code
Data-driven Optimization of Inductive Generalization
Nham Le, Xujie Si, Arie Gurfinkel
FMCAD 2021
paper slides code

2020

Code2Inv: A Deep Learning Framework for Program Verification
Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song
CAV 2020
paper slides code demo

2019

Synthesizing Datalog Programs using Numerical Relaxation
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
IJCAI 2019
paper slides poster code
Learning a Meta-Solver for Syntax-Guided Program Synthesis
Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song
ICLR 2019
paper poster code
Continuously Reasoning about Programs via Differential Bayesian Inference
Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik
PLDI 2019 ACM SIGPLAN Distinguished Paper Award
paper slides code video

2018

Syntax-Guided Synthesis of Datalog Programs
Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paris Koutris, Mayur Naik
FSE 2018
paper slides code
Learning Loop Invariants for Program Verification
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song
NeurIPS 2018 Spotlight
paper poster code video
Maximum Satisfiability in Software Analysis: Applications and Techniques
Mayur Naik, Xujie Si, Xin Zhang, Radu Grigore
VMCAI 2018 (Invited Tutorial)
abstract slides

2017

Effective Interactive Resolution of Static Analysis Alarms
Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik
OOPSLA 2017
paper
Maximum Satisfiability in Software Analysis: Applications and Techniques
Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik
CAV 2017 Invited Tutorial
paper slides

2016

APISan: Sanitizing API Usages through Semantic Cross-checking
Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, Mayur Naik
USENIX Security 2016 CSAW Best Applied Research Paper Finalist
paper slides code
On Incremental Core-Guided MaxSAT Solving
Xujie Si, Xin Zhang, Vasco Manquinho, Mikolas Janota, Alexey Ignatiev, Mayur Naik
CP 2016
paper slides code

Workshop Papers

Graph Contrastive Pre-training for Effective Theorem Reasoning
Zhaoyu Li, Binghong Chen, Xujie Si
ICML 2021 Workshop: Self-Supervised Learning for Reasoning and Perception Oral
Difflog: Beyond Deductive Methods in Program Analysis
Mukund Raghothaman, Sulekha Kulkarni, Richard Zhang, Xujie Si, Kihong Heo, Woosuk Lee, Mayur Naik
Machine Learning for Programming Workshop 2018
paper
Combining the Logical and the Probabilistic in Program Analysis
Xin Zhang, Xujie Si, Mayur Naik
ACM SIGPLAN Workshop on Machine Learning and Programming Languages 2017
paper slides