alphageometry icon indicating copy to clipboard operation
alphageometry copied to clipboard

Published 20 hours ago • verified publisher icon google-deepmind

Synthetic proof generation

Open ParthaEth opened this issue 11 months ago • 1 comments

What script to run or how exactly I generate synthetic proofs?

ParthaEth avatar Mar 20 '24 11:03 ParthaEth