alphageometry
alphageometry copied to clipboard
google-deepmind
Could you please share the Training Dataset OR the script for Data Generation?
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.
Hi:) I'm also very interested in this topic and would appreciate it if you could share the Training Dataset or the Data Generation script with me as well. I'm curious if you've received similar requests from others. Thank you in advance!
+1, if there is any update of synthetic data in this paper, please @me !!!!!! Huge thanks!
Thank you very much for your generous sharing. I have submitted my application, and my email is [email protected]. I look forward to seeing your consent.!!!
Look here - https://github.com/felixludos/alphageometry/tree/nl_verbalization
We are building alpha geometry community. We already have random problem and proof generation code there.
A while ago someone replied to this issue, posted a link supposedly for part of the training data, I submitted a request but never got it. Now I don't find that post any more, maybe the author deleted it?
To further improve AG, I think we need to collect data based on human designed problems. I made some improvements to AG in a fork repository and have some ideas to improve it, check out AG4Masses and issue 110.
