Constraint Satisfaction Driven Natural Language Generation: A Tree Search Embedded MCMC Approach. - Maosen Zhang; Nan Jiang 012; Lei Li 005; Yexiang Xue (EMNLP (Findings), 2020)

Language Generation via Combinatorial Constraint Satisfaction: A Tree Search Enhanced Monte-Carlo Approach. - Maosen Zhang; Nan Jiang 012; Lei Li 005; Yexiang Xue (CoRR, 2020)

CURE: Code-Aware Neural Machine Translation for Automatic Program Repair. - Nan Jiang 012; Thibaud Lutellier; Lin Tan 001 (ICSE, 2021)

PALM: Probabilistic area loss Minimization for Protein Sequence Alignment. - Fan Ding; Nan Jiang 012; Jianzhu Ma; Jian Peng 001; Jinbo Xu; Yexiang Xue (UAI, 2021)

Quantifying spatial homogeneity of urban road networks via graph neural networks. - Jiawei Xue; Nan Jiang 012; Senwei Liang; Qiyuan Pang; Satish V. Ukkusuri; Jianzhu Ma (CoRR, 2021)

A Fast Randomized Algorithm for Massive Text Normalization. - Nan Jiang 012; Chen Luo 003; Vihan Lakshman; Yesh Dattatreya; Yexiang Xue (CoRR, 2021)

Task Detection in Continual Learning via Familiarity Autoencoders. - Maxwell J. Jacobson; Case Q. Wright; Nan Jiang 012; Gustavo Rodriguez-Rivera; Yexiang Xue (SMC, 2022)

Massive Text Normalization via an Efficient Randomized Algorithm. - Nan Jiang 012; Chen Luo 003; Vihan Lakshman; Yesh Dattatreya; Yexiang Xue (WWW, 2022)

On the Value of Behavioral Representations for Dense Retrieval. - Nan Jiang 012; Dhivya Eswaran; Choon Hui Teo; Yexiang Xue; Yesh Dattatreya; Sujay Sanghavi; Vishy Vishwanathan (CoRR, 2022)

Learning Combinatorial Structures via Markov Random Fields with Sampling through Lovász Local Lemma. - Nan Jiang 012; Yi Gu; Yexiang Xue (CoRR, 2022)

Constraint Reasoning Embedded Structured Prediction. - Nan Jiang 012; Maosen Zhang; Willem-Jan van Hoeve; Yexiang Xue (J. Mach. Learn. Res., 2022)

Quantifying the spatial homogeneity of urban road networks via graph neural networks. - Jiawei Xue; Nan Jiang 012; Senwei Liang; Qiyuan Pang; Takahiro Yabe; Satish V. Ukkusuri; Jianzhu Ma (Nat. Mach. Intell., 2022)

Learning Markov Random Fields for Combinatorial Structures via Sampling through Lovász Local Lemma. - Nan Jiang 012; Yi Gu; Yexiang Xue (AAAI, 2023)

Impact of Code Language Models on Automated Program Repair. - Nan Jiang 012; Kevin Liu; Thibaud Lutellier; Lin Tan 001 (ICSE, 2023)

KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair. - Nan Jiang 012; Thibaud Lutellier; Yiling Lou; Lin Tan 001; Dan Goldwasser; Xiangyu Zhang 001 (ICSE, 2023)

How Effective Are Neural Networks for Fixing Security Vulnerabilities. - Yi Wu; Nan Jiang 012; Hung Viet Pham; Thibaud Lutellier; Jordan Davis; Lin Tan 001; Petr Babkin; Sameena Shah (ISSTA, 2023)

Symbolic Regression via Control Variable Genetic Programming. - Nan Jiang 012; Yexiang Xue (ECML/PKDD (4), 2023)

LmPa: Improving Decompilation by Synergy of Large Language Model and Program Analysis. - Xiangzhe Xu; Zhuo Zhang 002; Shiwei Feng 002; Yapeng Ye; Zian Su; Nan Jiang 012; Siyuan Cheng 005; Lin Tan 001; Xiangyu Zhang 001 (CoRR, 2023)

Impact of Large Language Models on Generating Software Specifications. - Danning Xie; Byungwoo Yoo; Nan Jiang 012; Mijung Kim; Lin Tan 001; Xiangyu Zhang 001; Judy S. Lee (CoRR, 2023)

Nova+: Generative Language Models for Binaries. - Nan Jiang 012; Chengxiao Wang; Kevin Liu; Xiangzhe Xu; Lin Tan 001; Xiangyu Zhang 001 (CoRR, 2023)

Vertical Symbolic Regression. - Nan Jiang 012; Md. Nasim; Yexiang Xue (CoRR, 2023)

Racing Control Variable Genetic Programming for Symbolic Regression. - Nan Jiang 012; Yexiang Xue (AAAI, 2024)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees. - Jinzhao Li; Nan Jiang 012; Yexiang Xue (AAAI, 2024)

ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries. - Danning Xie; Zhuo Zhang 002; Nan Jiang 012; Xiangzhe Xu; Lin Tan 001; Xiangyu Zhang 001 (CCS, 2024)

RepairCAT: Applying Large Language Model to Fix Bugs in AI-Generated Programs. - Nan Jiang 012; Yi Wu (APR, 2024)

Vertical Symbolic Regression via Deep Policy Gradient. - Nan Jiang 012; Md. Nasim; Yexiang Xue (IJCAI, 2024)

LeDex: Training LLMs to Better Self-Debug and Explain Code. - Nan Jiang 012; Xiaopeng Li 002; Shiqi Wang 002; Qiang Zhou; Soneya Binta Hossain; Baishakhi Ray; Varun Kumar; Xiaofei Ma 001; Anoop Deoras (NeurIPS, 2024)

A Tighter Convergence Proof of Reverse Experience Replay. - Nan Jiang 012; Jinzhao Li; Yexiang Xue (RLJ, 2024)

Training LLMs to Better Self-Debug and Explain Code. - Nan Jiang 012; Xiaopeng Li 002; Shiqi Wang 002; Qiang Zhou; Soneya Binta Hossain; Baishakhi Ray; Varun Kumar; Xiaofei Ma 001; Anoop Deoras (CoRR, 2024)

SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models. - Yi Wu; Zikang Xiong; Yiran Hu; Shreyash S. Iyengar; Nan Jiang 012; Aniket Bera; Lin Tan 001; Suresh Jagannathan (CoRR, 2024)

Collu-Bench: A Benchmark for Predicting Language Model Hallucinations in Code. - Nan Jiang 012; Qi Li; Lin Tan 001; Tianyi Zhang 001 (CoRR, 2024)

WAFFLE: Multi-Modal Model for Automated Front-End Development. - Shanchao Liang; Nan Jiang 012; Shangshu Qian; Lin Tan 001 (CoRR, 2024)

Can Language Models Replace Programmers? REPOCOD Says 'Not Yet'. - Shanchao Liang; Yiran Hu; Nan Jiang 012; Lin Tan 001 (CoRR, 2024)

A Deep Dive into Large Language Models for Automated Bug Localization and Repair. - Soneya Binta Hossain; Nan Jiang 012; Qiang Zhou; Xiaopeng Li 002; Wen-Hao Chiang; Yingjun Lyu; Hoan Anh Nguyen; Omer Tripp (Proc. ACM Softw. Eng., 2024)

LATTE: Improving Latex Recognition for Tables and Formulae with Iterative Refinement. - Nan Jiang 012; Shanchao Liang; Chengxiao Wang; Jiannan Wang 002; Lin Tan 001 (AAAI, 2025)

Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching. - Nan Jiang 012; Md. Nasim; Yexiang Xue (AAAI, 2025)

WAFFLE: Fine-tuning Multi-Modal Model for Automated Front-End Development. - Shanchao Liang; Nan Jiang 012; Shangshu Qian; Lin Tan 001 (ACL (1), 2025)

Can Language Models Replace Programmers for Coding? REPOCOD Says 'Not Yet'. - Shanchao Liang; Nan Jiang 012; Yiran Hu; Lin Tan 001 (ACL (1), 2025)

Nova: Generative Language Models for Assembly Code with Hierarchical Attention and Contrastive Learning. - Nan Jiang 012; Chengxiao Wang; Kevin Liu; Xiangzhe Xu; Lin Tan 001; Xiangyu Zhang 001; Petr Babkin (ICLR, 2025)

Unleashing the Power of Generative Model in Recovering Variable Names from Stripped Binary. - Xiangzhe Xu; Zhuo Zhang 002; Zian Su; Ziyang Huang; Shiwei Feng 002; Yapeng Ye; Nan Jiang 012; Danning Xie; Siyuan Cheng 005; Lin Tan 001; Xiangyu Zhang 001 (NDSS, 2025)

How Effective are Large Language Models in Generating Software Specifications? - Danning Xie; Byoung-Joo Yoo; Nan Jiang 012; Mijung Kim; Lin Tan 001; Xiangyu Zhang 001; Judy S. Lee (SANER, 2025)

Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison. - Ruixin Wang; Zhongkai Zhao; Le Fang; Nan Jiang 012; Yiling Lou; Lin Tan 001; Tianyi Zhang 001 (Proc. ACM Program. Lang., 2025)

An Exact Solver for Satisfiability Modulo Counting with Probabilistic Circuits. - Jinzhao Li; Nan Jiang 012; Yexiang Xue (CoRR, 2025)

Unified Software Engineering agent as AI Software Engineer. - Leonhard Applis; Yuntong Zhang 002; Shanchao Liang; Nan Jiang 012; Lin Tan 001; Abhik Roychoudhury (CoRR, 2025)