共 50 条
- [42] Dependency to Semantics: Structure Transformation and Syntax-Guided Attention for Neural Semantic Parsing KNOWLEDGE GRAPH AND SEMANTIC COMPUTING: KNOWLEDGE GRAPH EMPOWERS NEW INFRASTRUCTURE CONSTRUCTION, 2021, 1466 : 119 - 133
- [43] Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
- [44] Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction NASA FORMAL METHODS (NFM 2019), 2019, 11460 : 166 - 185
- [45] CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 74 - 83
- [46] A syntax-guided multi-task learning approach for Turducken-style code generation Empirical Software Engineering, 2023, 28
- [48] NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022, 2022, : 972 - 983
- [50] SYNTAX AND THE SENTENCE WORD-JOURNAL OF THE INTERNATIONAL LINGUISTIC ASSOCIATION, 1956, 12 (02): : 234 - 250