September 20, 2024

Minghai’s paper on using LLMs to automatically generate proofs in Coq to appear at ASE’24. Congratulations Minghai!