Skip to content
Sagan

Paper

Characterizing initial human-AI proof formalization workflows

Unreadunread

AI summary

arXiv:2606. 04273v1 Announce Type: new Abstract: For centuries, human mathematicians have written proofs to substantiate their mathematical arguments; yet, the ability to automatically verify the validity of proofs has long been a challenge.