共 50 条
- [21] Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? COMPANION PROCEEDINGS OF THE 2021 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SYSTEMS, PROGRAMMING, LANGUAGES, AND APPLICATIONS: SOFTWARE FOR HUMANITY, SPLASH COMPANION 2021, 2021, : 3 - 5
- [22] Syntax-guided question generation using prompt learning NEURAL COMPUTING & APPLICATIONS, 2024, 36 (12): : 6271 - 6282
- [24] Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 229 - 243
- [25] Syntax-guided question generation using prompt learning Neural Computing and Applications, 2024, 36 : 6271 - 6282
- [26] Syntax-Guided Rewrite Rule Enumeration for SMT Solvers THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, 2019, 11628 : 279 - 297
- [27] A Syntax-Guided Edit Decoder for Neural Program Repair PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21), 2021, : 341 - 353
- [30] Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis AUTOMATED REASONING, PT I, 2020, 12166 : 141 - 160