1 code implementation • NeurIPS 2023 • Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
In this paper, we propose a new satisfiability-aided language modeling (SatLM) approach for improving the reasoning capabilities of LLMs.
no code implementations • 6 Apr 2023 • Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Isil Dillig
This paper presents a new synthesis-based approach for batch image processing.
no code implementations • Findings (EMNLP) 2021 • Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
Multimodal program synthesis, which leverages different types of user input to synthesize a desired program, is an attractive way to scale program synthesis to challenging settings; however, it requires integrating noisy signals from the user, like natural language, with hard constraints on the program's behavior.
no code implementations • ACL 2020 • Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
Existing datasets for regular expression (regex) generation from natural language are limited in complexity; compared to regex tasks that users post on StackOverflow, the regexes in these datasets are simple, and the language used to describe them is not diverse.
1 code implementation • 16 Aug 2019 • Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett
Our system achieves state-of-the-art performance on the prior datasets and solves 57% of the real-world dataset, which existing neural systems completely fail on.