Collections

Discover the best community collections!

Collections trending this week
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.
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.