1 code implementation • 13 Feb 2024 • David Brandfonbrener, Simon Henniger, Sibi Raja, Tarun Prasad, Chloe Loughridge, Federico Cassano, Sabrina Ruixin Hu, Jianang Yang, William E. Byrd, Robert Zinkov, Nada Amin
In this paper, we present VerMCTS, an approach to begin to resolve this issue by generating verified programs in Dafny and Coq.
1 code implementation • NeurIPS 2018 • Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard Zemel
Synthesizing programs using example input/outputs is a classic problem in artificial intelligence.