Xujie Si

According to our database, Xujie Si authored at least 58 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories.

Honghua Dong, Jiacheng Yang, Xun Deng, Yuhe Jiang, Gennady Pekhimenko, Fan Long, Xujie Si

CoRR, July, 2025

τ²-Bench: Evaluating Conversational Agents in a Dual-Control Environment.

Victor Barres, Honghua Dong, Soham Ray, Xujie Si, Karthik Narasimhan

CoRR, June, 2025

Understanding Behavioral Metric Learning: A Large-Scale Study on Distracting Reinforcement Learning Environments.

Ziyan Luo, Tianwei Ni, Pierre-Luc Bacon, Doina Precup, Xujie Si

CoRR, June, 2025

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once.

Xun Deng, Sicheng Zhong, Andreas G. Veneris, Fan Long, Xujie Si

CoRR, May, 2025

LLM Library Learning Fails: A LEGO-Prover Case Study.

Ian Berlot-Attwell, Frank Rudzicz, Xujie Si

CoRR, April, 2025

Extracting Interpretable Logic Rules from Graph Neural Networks.

Chuqin Geng, Zhaoyue Wang, Ziyu Zhao, Haolin Ye, Xujie Si

CoRR, March, 2025

Learning Interpretable Logic Rules from Deep Vision Models.

Chuqin Geng, Yuhe Jiang, Ziyu Zhao, Haolin Ye, Zhaoyue Wang, Xujie Si

CoRR, March, 2025

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation.

Sicheng Zhong, Jiading Zhu, Yifang Tian, Xujie Si

CoRR, February, 2025

Decoding Interpretable Logic Rules from Neural Networks.

Chuqin Geng, Xiaojie Xu, Zhaoyue Wang, Ziyu Zhao, Xujie Si

CoRR, January, 2025

Learning Minimal Neural Specifications.

Chuqin Geng, Zhaoyue Wang, Haolin Ye, Xujie Si

Proceedings of the International Conference on Neuro-symbolic Systems, 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

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

Decoupling Training-Free Guided Diffusion by ADMM.

Youyuan Zhang, Zehua Liu, Zenan Li, Zhaoyu Li, James J. Clark, Xujie Si

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

PyEuclid: A Versatile Formal Plane Geometry System in Python.

Zhaoyu Li, Hangrui Bi, Jialiang Sun, Zenan Li, Kaiyu Yang, Xujie Si

Proceedings of the Computer Aided Verification - 37th International Conference, 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

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

2024

G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks.

Zhaoyu Li, Jinpei Guo, Xujie Si

Trans. Mach. Learn. Res., 2024

Library Learning Doesn't: The Curious Case of the Single-Use "Library".

Ian Berlot-Attwell, Frank Rudzicz, Xujie Si

CoRR, 2024

Assessing Code Generation with Intermediate Languages.

Xun Deng, Sicheng Zhong, Honghua Dong, Jingyu Hu, Sidi Mohamed Beillahi, Xujie Si, Fan Long

CoRR, 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

CoRR, 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

CoRR, 2024

SAT-DIFF: A Tree Diffing Framework Using SAT Solving.

Chuqin Geng, Haolin Ye, Yihan Zhang, Brigitte Pientka, Xujie Si

CoRR, 2024

Learning Minimal NAP Specifications for Neural Network Verification.

Chuqin Geng, Zhaoyue Wang, Haolin Ye, Saifei Liao, Xujie Si

CoRR, 2024

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning.

Ziyan Luo, Xujie Si

Proceedings of the AI Verification - First International Symposium, 2024

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff.

Hao Tang, Keya Hu, Jin Zhou, Sicheng Zhong, Wei-Long Zheng, Xujie Si, Kevin Ellis

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 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 Ravikumar, Alexander G. Gray, Xujie Si, Sebastian A. Scherer

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Autoformalizing Euclidean Geometry.

Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Modernizing SMT-Based Type Error Localization.

Max Kopinsky, Brigitte Pientka, Xujie Si

Proceedings of the Formal Methods in Computer-Aided Design, 2024

Towards Robust Saliency Maps.

Nham Le, Arie Gurfinkel, Xujie Si, Chuqin Geng

Proceedings of the Asian Conference on Machine Learning, 2024

2023

Can ChatGPT Pass An Introductory Level Functional Language Programming Course?

Chuqin Geng, Yihan Zhang, Brigitte Pientka, Xujie Si

CoRR, 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

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

Learning Reliable Logical Rules with SATNet.

Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Scalar Invariant Networks with Zero Bias.

Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si

Proceedings of the NeurIPS Workshop on Symmetry and Geometry in Neural Representations, 2023

Towards Reliable Neural Specifications.

Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si

Proceedings of the International Conference on Machine Learning, 2023

Idiolect: A Reconfigurable Voice Coding Assistant.

Breandan Considine, Nicholas Albion, Xujie Si

Proceedings of the 5th IEEE/ACM International Workshop on Bots in Software Engineering, 2023

TorchProbe: Fuzzing Dynamic Deep Learning Compilers.

Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Toward Reliable Neural Specifications.

Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si

CoRR, 2022

NSNet: A General Neural Probabilistic Framework for Satisfiability Problems.

Zhaoyu Li, Xujie Si

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Novice Type Error Diagnosis with Natural Language Models.

Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021

XCheck: a Simple, Effective and Extensible Bug Finder using micro-grammar.

Hanwen Zhu, Junyoung Jang, Xujie Si

CoRR, 2021

Graph Contrastive Pre-training for Effective Theorem Reasoning.

Zhaoyu Li, Binghong Chen, Xujie Si

CoRR, 2021

Data Collection for the Learn-OCaml Programming Platform: Modelling How Students Develop Typed Functional Programs.

Alana Ceci, Hanneli C. A. Tavante, Brigitte Pientka, Xujie Si

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Techniques for Symbol Grounding with SATNet.

Sever Topan, David Rolnick, Xujie Si

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning.

Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Data-driven Optimization of Inductive Generalization.

Nham Le, Xujie Si, Arie Gurfinkel

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Code2Inv: A Deep Learning Framework for Program Verification.

Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving.

Xujie Si, Yujia Li, Vinod Nair, Felix Gimeno

CoRR, 2019

Continuously reasoning about programs using differential Bayesian inference.

Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Synthesizing Datalog Programs using Numerical Relaxation.

Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Learning a Meta-Solver for Syntax-Guided Program Synthesis.

Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song

Proceedings of the 7th International Conference on Learning Representations, 2019

2018

Syntax-guided synthesis of Datalog programs.

Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Learning Loop Invariants for Program Verification.

Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017

Effective interactive resolution of static analysis alarms.

Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik

Proc. ACM Program. Lang., 2017

Combining the logical and the probabilistic in program analysis.

Xin Zhang, Xujie Si, Mayur Naik

Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

Maximum Satisfiability in Software Analysis: Applications and Techniques.

Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

APISan: Sanitizing API Usages through Semantic Cross-Checking.

Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, Mayur Naik

Proceedings of the 25th USENIX Security Symposium, 2016

On Incremental Core-Guided MaxSAT Solving.

Xujie Si, Xin Zhang, Vasco Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik

Proceedings of the Principles and Practice of Constraint Programming, 2016

2014

A Dynamic Load-balancing Scheme for XPath Queries Parallelization in Shared Memory Multi-core Systems.

Xiaocheng Huang, Xujie Si, Xiaojie Yuan, Chao Wang

J. Comput., 2014

Automated black-box detection of access control vulnerabilities in web applications.

Xiaowei Li, Xujie Si, Yuan Xue

Proceedings of the Fourth ACM Conference on Data and Application Security and Privacy, 2014

2011

Parallel Optimization of Queries in XML Dataset Using GPU.

Xujie Si, Airu Yin, Xiaocheng Huang, Xiaojie Yuan, Xiaoguang Liu, Gang Wang

Proceedings of the Fourth International Symposium on Parallel Architectures, 2011