Xujie Si

84 papers A* 15A 2B 4C 1Journal 47Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Beyond Message Passing: A Symbolic Alternative for Expressive and Interpretable Graph Learning.
CoRR
Chuqin Geng, Li Zhang, Haolin Ye, Ziyu Zhao, Yuhe Jiang, Tara Saba, Xinyu Wang, Xujie Si
2026 J jnl
Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study.
CoRR
Yihan Zhang, Brigitte Pientka, Xujie Si
2026 J jnl
Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study.
Art Sci. Eng. Program.
Yihan Zhang, Brigitte Pientka, Xujie Si
2026 — conf
Is This LLM Library Learning? Evaluation Must Account For Compute and Behaviour.
EACL (Volume 1: Long Papers)
Ian Berlot-Attwell, Tobias Sesterhenn, Frank Rudzicz, Xujie Si
2026 J jnl
Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generation with Hard Constraints.
CoRR
Chuqin Geng, Li Zhang, Mark Zhang, Haolin Ye, Ziyu Zhao, Xujie Si
2025 J jnl
A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants.
CoRR
Baris Bayazit, Yao Li, Xujie Si
2025 — conf
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts.
ACL (1)
Honghua Dong, Qidong Su, Yubo Gao, Zhaoyu Li, Yangjun Ruan, Gennady Pekhimenko, Chris J. Maddison, Xujie Si
2025 J jnl
Decoding Interpretable Logic Rules from Neural Networks.
CoRR
Chuqin Geng, Xiaojie Xu, Zhaoyue Wang, Ziyu Zhao, Xujie Si
2025 A* conf
Decoupling Training-Free Guided Diffusion by ADMM.
CVPR
Youyuan Zhang, Zehua Liu, Zenan Li, Zhaoyu Li, James J. Clark, Xujie Si
2025 J jnl
Extracting Interpretable Logic Rules from Graph Neural Networks.
CoRR
Chuqin Geng, Zhaoyue Wang, Ziyu Zhao, Haolin Ye, Xujie Si
2025 J jnl
LLM Library Learning Fails: A LEGO-Prover Case Study.
CoRR
Ian Berlot-Attwell, Frank Rudzicz, Xujie Si
2025 J jnl
Learning Interpretable Logic Rules from Deep Vision Models.
CoRR
Chuqin Geng, Yuhe Jiang, Ziyu Zhao, Haolin Ye, Zhaoyue Wang, Xujie Si
2025 — conf
Learning Minimal Neural Specifications.
NeuS
Chuqin Geng, Zhaoyue Wang, Haolin Ye, Xujie Si
2025 J jnl
Poisoned at Scale: A Scalable Audit Uncovers Hidden Scam Endpoints in Production LLMs.
CoRR
Zhiyang Chen, Tara Saba, Xun Deng, Xujie Si, Fan Long
2025 A* conf
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning.
ICLR
Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
2025 J jnl
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning.
CoRR
Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
2025 — conf
PyEuclid: A Versatile Formal Plane Geometry System in Python.
CAV (4)
Zhaoyu Li, Hangrui Bi, Jialiang Sun, Zenan Li, Kaiyu Yang, Xujie Si
2025 J jnl
RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation.
CoRR
Sicheng Zhong, Jiading Zhu, Yifang Tian, Xujie Si
2025 J jnl
Towards Repository-Level Program Verification with Large Language Models.
CoRR
Sicheng Zhong, Xujie Si
2025 A* conf
TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories.
ICML
Honghua Dong, Jiacheng Yang, Xun Deng, Yuhe Jiang, Gennady Pekhimenko, Fan Long, Xujie Si
2025 J jnl
TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories.
CoRR
Honghua Dong, Jiacheng Yang, Xun Deng, Yuhe Jiang, Gennady Pekhimenko, Fan Long, Xujie Si
2025 J jnl
Understanding Behavioral Metric Learning: A Large-Scale Study on Distracting Reinforcement Learning Environments.
CoRR
Ziyan Luo, Tianwei Ni, Pierre-Luc Bacon, Doina Precup, Xujie Si
2025 J jnl
VerifyThisBench: Generating Code, Specifications, and Proofs All at Once.
CoRR
Xun Deng, Sicheng Zhong, Andreas G. Veneris, Fan Long, Xujie Si
2025 J jnl
τ
CoRR
Victor Barres, Honghua Dong, Soham Ray, Xujie Si, Karthik Narasimhan
2024 J jnl
A Survey on Deep Learning for Theorem Proving.
CoRR
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
2024 J jnl
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts.
CoRR
Honghua Dong, Qidong Su, Yubo Gao, Zhaoyu Li, Yangjun Ruan, Gennady Pekhimenko, Chris J. Maddison, Xujie Si
2024 J jnl
Assessing Code Generation with Intermediate Languages.
CoRR
Xun Deng, Sicheng Zhong, Honghua Dong, Jingyu Hu, Sidi Mohamed Beillahi, Xujie Si, Fan Long
2024 A* conf
Autoformalizing Euclidean Geometry.
ICML
Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
2024 J jnl
Autoformalizing Euclidean Geometry.
CoRR
Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
2024 — conf
Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning.
SAIV
Ziyan Luo, Xujie Si
2024 A* conf
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff.
NeurIPS
Hao Tang, Keya Hu, Jin Zhou, Sicheng Zhong, Wei-Long Zheng, Xujie Si, Kevin Ellis
2024 J jnl
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff.
CoRR
Hao Tang, Keya Hu, Jin Peng Zhou, Sicheng Zhong, Wei-Long Zheng, Xujie Si, Kevin Ellis
2024 J jnl
Decoupling Training-Free Guided Diffusion by ADMM.
CoRR
Youyuan Zhang, Zehua Liu, Zenan Li, Zhaoyu Li, James J. Clark, Xujie Si
2024 J jnl
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks.
Trans. Mach. Learn. Res.
Zhaoyu Li, Jinpei Guo, Xujie Si
2024 J jnl
Learning Minimal NAP Specifications for Neural Network Verification.
CoRR
Chuqin Geng, Zhaoyue Wang, Haolin Ye, Saifei Liao, Xujie Si
2024 J jnl
Library Learning Doesn't: The Curious Case of the Single-Use "Library".
CoRR
Ian Berlot-Attwell, Frank Rudzicz, Xujie Si
2024 A* conf
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation.
NeurIPS
Bowen Li, Zhaoyu Li, Qiwei Du, Jinqi Luo, Wenshan Wang, Yaqi Xie, Simon Stepputtis, Chen Wang, Katia P. Sycara, Pradeep Ravikumar, Alexander G. Gray, Xujie Si, Sebastian A. Scherer
2024 J jnl
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation.
CoRR
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 A. Scherer
2024 B conf
Modernizing SMT-Based Type Error Localization.
FMCAD
Max Kopinsky, Brigitte Pientka, Xujie Si
2024 J jnl
Modernizing SMT-Based Type Error Localization.
CoRR
Max Kopinsky, Brigitte Pientka, Xujie Si
2024 J jnl
SAT-DIFF: A Tree Diffing Framework Using SAT Solving.
CoRR
Chuqin Geng, Haolin Ye, Yihan Zhang, Brigitte Pientka, Xujie Si
2024 C conf
Towards Robust Saliency Maps.
ACML
Nham Le, Arie Gurfinkel, Xujie Si, Chuqin Geng
2023 J jnl
Can ChatGPT Pass An Introductory Level Functional Language Programming Course?
CoRR
Chuqin Geng, Yihan Zhang, Brigitte Pientka, Xujie Si
2023 J jnl
Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning.
CoRR
Ziyan Luo, Xujie Si
2023 J jnl
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks.
CoRR
Zhaoyu Li, Jinpei Guo, Xujie Si
2023 — conf
Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students.
SIGCSE (1)
Chuqin Geng, Wenwen Xu, Yingjie Xu, Brigitte Pientka, Xujie Si
2023 J jnl
Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students.
CoRR
Chuqin Geng, Wenwen Xu, Yingjie Xu, Brigitte Pientka, Xujie Si
2023 — conf
Idiolect: A Reconfigurable Voice Coding Assistant.
BotSE
Breandan Considine, Nicholas Albion, Xujie Si
2023 J jnl
Idiolect: A Reconfigurable Voice Coding Assistant.
CoRR
Breandan Considine, Nicholas Albion, Xujie Si
2023 A* conf
Learning Reliable Logical Rules with SATNet.
NeurIPS
Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si
2023 J jnl
Learning Reliable Logical Rules with SATNet.
CoRR
Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si
2023 — conf
Scalar Invariant Networks with Zero Bias.
NeurReps
Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si
2023 B conf
TorchProbe: Fuzzing Dynamic Deep Learning Compilers.
APLAS
Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si
2023 J jnl
TorchProbe: Fuzzing Dynamic Deep Learning Compilers.
CoRR
Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si
2023 A* conf
Towards Reliable Neural Specifications.
ICML
Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si
2022 A* conf
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems.
NeurIPS
Zhaoyu Li, Xujie Si
2022 J jnl
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems.
CoRR
Zhaoyu Li, Xujie Si
2022 B conf
Novice Type Error Diagnosis with Natural Language Models.
APLAS
Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si
2022 J jnl
Novice Type Error Diagnosis with Natural Language Models.
CoRR
Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si
2022 J jnl
Scalar Invariant Networks with Zero Bias.
CoRR
Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si
2022 J jnl
Toward Reliable Neural Specifications.
CoRR
Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si
2021 A conf
Data Collection for the Learn-OCaml Programming Platform: Modelling How Students Develop Typed Functional Programs.
SIGCSE
Alana Ceci, Hanneli C. A. Tavante, Brigitte Pientka, Xujie Si
2021 B conf
Data-driven Optimization of Inductive Generalization.
FMCAD
Nham Le, Xujie Si, Arie Gurfinkel
2021 J jnl
Graph Contrastive Pre-training for Effective Theorem Reasoning.
CoRR
Zhaoyu Li, Binghong Chen, Xujie Si
2021 A* conf
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning.
NeurIPS
Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si
2021 A* conf
Techniques for Symbol Grounding with SATNet.
NeurIPS
Sever Topan, David Rolnick, Xujie Si
2021 J jnl
Techniques for Symbol Grounding with SATNet.
CoRR
Sever Topan, David Rolnick, Xujie Si
2021 J jnl
XCheck: a Simple, Effective and Extensible Bug Finder using micro-grammar.
CoRR
Hanwen Zhu, Junyoung Jang, Xujie Si
2020 — conf
Code2Inv: A Deep Learning Framework for Program Verification.
CAV (2)
Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song
2019 A* conf
Continuously reasoning about programs using differential Bayesian inference.
PLDI
Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik
2019 — conf
Learning a Meta-Solver for Syntax-Guided Program Synthesis.
ICLR (Poster)
Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song
2019 J jnl
Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving.
CoRR
Xujie Si, Yujia Li, Vinod Nair, Felix Gimeno
2019 J jnl
Synthesizing Datalog Programs Using Numerical Relaxation.
CoRR
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
2019 A* conf
Synthesizing Datalog Programs using Numerical Relaxation.
IJCAI
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
2018 A* conf
Learning Loop Invariants for Program Verification.
NeurIPS
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song
2018 — conf
Syntax-guided synthesis of Datalog programs.
ESEC/SIGSOFT FSE
Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik
2017 — conf
Combining the logical and the probabilistic in program analysis.
MAPL@PLDI
Xin Zhang, Xujie Si, Mayur Naik
2017 J jnl
Effective interactive resolution of static analysis alarms.
Proc. ACM Program. Lang.
Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik
2017 — conf
Maximum Satisfiability in Software Analysis: Applications and Techniques.
CAV (1)
Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik
2016 A* conf
APISan: Sanitizing API Usages through Semantic Cross-Checking.
USENIX Security Symposium
Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, Mayur Naik
2016 A conf
On Incremental Core-Guided MaxSAT Solving.
CP
Xujie Si, Xin Zhang, Vasco Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik
2014 J jnl
A Dynamic Load-balancing Scheme for XPath Queries Parallelization in Shared Memory Multi-core Systems.
J. Comput.
Xiaocheng Huang, Xujie Si, Xiaojie Yuan, Chao Wang
2014 — conf
Automated black-box detection of access control vulnerabilities in web applications.
CODASPY
Xiaowei Li, Xujie Si, Yuan Xue
2011 — conf
Parallel Optimization of Queries in XML Dataset Using GPU.
PAAP
Xujie Si, Airu Yin, Xiaocheng Huang, Xiaojie Yuan, Xiaoguang Liu, Gang Wang