search

j991222 / ai4math-papers

AI for Mathematics (AI4Math) paper list
128 stars 7 forks source link

Request to add references #1

Closed zhengying-liu closed 5 months ago

zhengying-liu commented 6 months ago

Hi thank you for this awesome list!

Our ICLR 2024 spotlight paper is related to theorem synthesis:

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data https://openreview.net/forum?id=8xliOUg9EW

Our NAACL 2024 findings paper is also related to theorem generation and synthesis and will be published soon:

ATG: Benchmarking Automated Theorem Generation for Generative Language Models https://openreview.net/forum?id=H0RzzhAxTv (link available soon)

j991222 commented 6 months ago

Hi,

Thanks for sharing your work! I've added both papers to the "Synthetic Theorem Generation" and "Benchmarks" sections.