共 50 条
- [1] Syntax-guided Neural Module Distillation to Probe Compositionality in Sentence Embeddings 17TH CONFERENCE OF THE EUROPEAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, EACL 2023, 2023, : 3143 - 3149
- [4] Syntax-Guided Termination Analysis COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 124 - 143
- [5] Controllable Sentence Simplification PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION (LREC 2020), 2020, : 4689 - 4698
- [6] Accelerating Syntax-Guided Invariant Synthesis TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT I, 2018, 10805 : 251 - 269
- [7] Syntax-Guided Enumeration of Temporal Properties PROCEEDINGS OF THE 2019 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2019,
- [8] Grammar Filtering for Syntax-Guided Synthesis THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 1611 - 1618
- [9] Perses: Syntax-Guided Program Reduction PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, : 361 - 371