Collections

Discover the best community collections!

Collections trending this week
Learning Lean Feedback
Companion resources for "Learning Lean Feedback for Efficient Proof-Candidate Evaluation on GPUs": three models and two datasets.