Xujie Si

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 46

Top Topics

Symbol Grounding

Datalog Programs

Top Venues

Publications

Honghua Dong, Qidong Su, Yubo Gao, Zhaoyu Li, Yangjun Ruan, Gennady Pekhimenko, Chris J. Maddison, Xujie Si
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts. CoRR (2024)
Xun Deng, Sicheng Zhong, Honghua Dong, Jingyu Hu, Sidi Mohamed Beillahi, Xujie Si, Fan Long
Assessing Code Generation with Intermediate Languages. CoRR (2024)
Chuqin Geng, Haolin Ye, Yihan Zhang, Brigitte Pientka, Xujie Si
SAT-DIFF: A Tree Diffing Framework Using SAT Solving. CoRR (2024)
Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
Autoformalizing Euclidean Geometry. CoRR (2024)
Hao Tang, Keya Hu, Jin Peng Zhou, Sicheng Zhong, Wei-Long Zheng, Xujie Si, Kevin Ellis
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff. CoRR (2024)
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
A Survey on Deep Learning for Theorem Proving. CoRR (2024)
Zhaoyu Li, Jinpei Guo, Xujie Si
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks. Trans. Mach. Learn. Res. 2024 (2024)
Chuqin Geng, Zhaoyue Wang, Haolin Ye, Saifei Liao, Xujie Si
Learning Minimal NAP Specifications for Neural Network Verification. CoRR (2024)
Zhaoyu Li, Jinpei Guo, Xujie Si
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks. CoRR (2023)
Ziyan Luo, Xujie Si
Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning. CoRR (2023)
Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si
Towards Reliable Neural Specifications. ICML (2023)
Chuqin Geng, Wenwen Xu, Yingjie Xu, Brigitte Pientka, Xujie Si
Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students. SIGCSE (1) (2023)
Chuqin Geng, Yihan Zhang, Brigitte Pientka, Xujie Si
Can ChatGPT Pass An Introductory Level Functional Language Programming Course? CoRR (2023)
Breandan Considine, Nicholas Albion, Xujie Si
Idiolect: A Reconfigurable Voice Coding Assistant. BotSE (2023)
Chuqin Geng, Wenwen Xu, Yingjie Xu, Brigitte Pientka, Xujie Si
Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students. CoRR (2023)
Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si
Learning Reliable Logical Rules with SATNet. CoRR (2023)
Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si
Learning Reliable Logical Rules with SATNet. NeurIPS (2023)
Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si
TorchProbe: Fuzzing Dynamic Deep Learning Compilers. CoRR (2023)
Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si
TorchProbe: Fuzzing Dynamic Deep Learning Compilers. APLAS (2023)
Breandan Considine, Nicholas Albion, Xujie Si
Idiolect: A Reconfigurable Voice Coding Assistant. CoRR (2023)
Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si
Scalar Invariant Networks with Zero Bias. CoRR (2022)
Zhaoyu Li, Xujie Si
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems. CoRR (2022)
Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si
Novice Type Error Diagnosis with Natural Language Models. CoRR (2022)
Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si
Toward Reliable Neural Specifications. CoRR (2022)
Zhaoyu Li, Xujie Si
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems. NeurIPS (2022)
Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si
Novice Type Error Diagnosis with Natural Language Models. APLAS (2022)
Sever Topan, David Rolnick, Xujie Si
Techniques for Symbol Grounding with SATNet. NeurIPS (2021)
Nham Le, Xujie Si, Arie Gurfinkel
Data-driven Optimization of Inductive Generalization. FMCAD (2021)
Hanwen Zhu, Junyoung Jang, Xujie Si
XCheck: a Simple, Effective and Extensible Bug Finder using micro-grammar. CoRR (2021)
Alana Ceci, Hanneli C. A. Tavante, Brigitte Pientka, Xujie Si
Data Collection for the Learn-OCaml Programming Platform: Modelling How Students Develop Typed Functional Programs. SIGCSE (2021)
Zhaoyu Li, Binghong Chen, Xujie Si
Graph Contrastive Pre-training for Effective Theorem Reasoning. CoRR (2021)
Sever Topan, David Rolnick, Xujie Si
Techniques for Symbol Grounding with SATNet. CoRR (2021)
Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning. NeurIPS (2021)
Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song
Code2Inv: A Deep Learning Framework for Program Verification. CAV (2) (2020)
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
Synthesizing Datalog Programs using Numerical Relaxation. IJCAI (2019)
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
Synthesizing Datalog Programs Using Numerical Relaxation. CoRR (2019)
Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik
Continuously reasoning about programs using differential Bayesian inference. PLDI (2019)
Xujie Si, Yujia Li, Vinod Nair, Felix Gimeno
Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving. CoRR (2019)
Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song
Learning a Meta-Solver for Syntax-Guided Program Synthesis. ICLR (Poster) (2019)
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song
Learning Loop Invariants for Program Verification. NeurIPS (2018)
Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik
Syntax-guided synthesis of Datalog programs. ESEC/SIGSOFT FSE (2018)
Xin Zhang, Xujie Si, Mayur Naik
Combining the logical and the probabilistic in program analysis. MAPL@PLDI (2017)
Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik
Maximum Satisfiability in Software Analysis: Applications and Techniques. CAV (1) (2017)
Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik
Effective interactive resolution of static analysis alarms. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, Mayur Naik
APISan: Sanitizing API Usages through Semantic Cross-Checking. USENIX Security Symposium (2016)
Xujie Si, Xin Zhang, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik
On Incremental Core-Guided MaxSAT Solving. CP (2016)
Ziyan Luo, Xujie Si
Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning. SAIV (2014)
Xiaocheng Huang, Xujie Si, Xiaojie Yuan, Chao Wang
A Dynamic Load-balancing Scheme for XPath Queries Parallelization in Shared Memory Multi-core Systems. J. Comput. 9 (6) (2014)
Xiaowei Li, Xujie Si, Yuan Xue
Automated black-box detection of access control vulnerabilities in web applications. CODASPY (2014)
Xujie Si, Airu Yin, Xiaocheng Huang, Xiaojie Yuan, Xiaoguang Liu, Gang Wang
Parallel Optimization of Queries in XML Dataset Using GPU. PAAP (2011)