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 1 year ago • 1 comments

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

ParthaEth avatar Mar 20 '24 11:03 ParthaEth

Check this out alpha_geometry_community. Branch - rand_proof_gen There are some code to generate random proofs. It is not yet very high performant, but let's work together.

ParthaEth avatar Mar 28 '24 09:03 ParthaEth