2022
Draft, Sketch, and Prove: Guiding Formal Theorem Provers With Informal Proofs
A. Q. Jiang, S. Welleck, J. P. Zhou, Wentao Li, Joseph Liu, M. Jamnik, T. Lacroix, Yonghui Wu, G. Lample
Citation Graph
References [0]
No references match the current filters.
Cited by
1
papers in your library
Cites
0
Add to reading list
Notes
Tags
Paper Aliases
No aliases