Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification.

Yizhou Chen, Zeyu Sun, Guoqing Wang, Dan Hao

Browse the full ICSE paper archive.