google-deepmind / google-deepmind/alphageometry

Synthetic proof generation

Open
#94 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
4.9k
Forks
572
No merged PRs in 30d

Description

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

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.