暂无分享,去创建一个
[1] Sumit Gulwani,et al. Programming by Examples - and its applications in Data Wrangling , 2016, Dependable Software Systems Engineering.
[2] Cesare Tinelli,et al. cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis , 2019, CAV.
[3] Matthew J. Hausknecht,et al. Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis , 2018, ICLR.
[4] Ruzica Piskac,et al. Grammar Filtering For Syntax-Guided Synthesis , 2020, AAAI.
[5] Eran Yahav,et al. Programming Not Only by Example , 2017, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
[6] Sebastian Nowozin,et al. DeepCoder: Learning to Write Programs , 2016, ICLR.
[7] Cesare Tinelli,et al. CVC4 at the SMT Competition 2018 , 2018, ArXiv.
[8] Sumit Gulwani,et al. Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples , 2018, ICLR.
[9] Rajeev Alur,et al. Syntax-guided synthesis , 2013, 2013 Formal Methods in Computer-Aided Design.
[10] Rajeev Alur,et al. Accelerating search-based program synthesis using learned probabilistic models , 2018, PLDI.
[11] Arjun Radhakrishna,et al. Scaling Enumerative Program Synthesis via Divide and Conquer , 2017, TACAS.
[12] Pushmeet Kohli,et al. RobustFill: Neural Program Learning under Noisy I/O , 2017, ICML.
[13] Daniel Kroening,et al. CounterExample Guided Neural Synthesis , 2020, ArXiv.