Lean Datasets for AI Blog

Stream: Machine Learning for Theorem Proving

[Nehal Patel]

Hi, I work in the G-Research Innovation Group, and we have been working on a series of blog posts about Lean 4 that are located here: https://g-research-innovation.github.io/lean4-llm/

The largest post surveys several of the important datasets used for evaluating and training Lean 4 AI models, located here: https://g-research-innovation.github.io/lean4-llm/blog1_00_datasets

Please share any comments in this thread. cheers, nehal