Collections

Discover the best community collections!

Collections trending this week
Saved spaces
Collection by
about 15 hours ago
Formal Theorem Proving with Lean World Models
Models and datasets for Formal Theorem Proving with Lean World Models: continued pretraining, proof repair, GRPO, and informal reasoning.
Saved spaces
Collection by
about 15 hours ago
Formal Theorem Proving with Lean World Models
Models and datasets for Formal Theorem Proving with Lean World Models: continued pretraining, proof repair, GRPO, and informal reasoning.