google-deepmind / google-deepmind/alphageometry
Could you please share the Training Dataset OR the script for Data Generation?
Open
- Dominant language
- Python
- Stars
- 4.9k
- Forks
- 572
- PR merge metrics
- No merged PRs in 30d
Description
Hi @thtrieu , thank you for your great work. Could you please share with me the Training Dataset (~100 million unique theorem-proof) OR the script for Data Generation for research purpose only? Thank you so much.
Contributor guide
Assessment
This issue has not been assessed yet.