phanerozoic/Lean4-FormalConjectures download history

phanerozoic/Lean4-FormalConjectures is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 60 times (12 in the last 7 days), and 455 times in total. It ranks #162,992 among datasets by monthly downloads.

Lean4-FormalConjectures Structured dataset from formal-conjectures — Google DeepMind formalized conjectures. Source Repository: https://github.com/google-deepmind/formal-conjectures Commit: b9b8aa0fd6170e482798f7c78c163acacd40e083 Files: 896 License: apache-2.0

Open phanerozoic/Lean4-FormalConjectures on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.