Author:
Alur Rajeev,Bodik Rastislav,Juniwal Garvit,Martin Milo M. K.,Raghothaman Mukund,Seshia Sanjit A.,Singh Rishabh,Solar-Lezama Armando,Torlak Emina,Udupa Abhishek
Cited by
239 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Case for Synthesis of Recursive Quantum Unitary Programs;Proceedings of the ACM on Programming Languages;2024-01-05
2. An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification;Proceedings of the ACM on Programming Languages;2024-01-05
3. Formal XAI via Syntax-Guided Synthesis;Bridging the Gap Between AI and Reality;2023-12-14
4. Survey of intelligent program synthesis techniques;International Conference on Algorithms, High Performance Computing, and Artificial Intelligence (AHPCAI 2023);2023-12-07
5. Programming by Example Made Easy;ACM Transactions on Software Engineering and Methodology;2023-11-24