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.