Hugging Face's logo
Activity Feed Request to join this org

AI & ML interests

AI for mathematics, including formal mathematics and theorem proving in Lean, and AI for verified software engineering.

Recent Activity
Lemmy00  updated a dataset 9 days ago
EPFL-LARA/lean-refactor-arena-assets-20261104
Lemmy00  published a dataset 9 days ago
EPFL-LARA/lean-refactor-arena-assets-20261104
Lemmy00  updated a collection 9 days ago
Proof Optimization
View all activity

EPFL-LARA 's collections 3

Learning Lean Feedback
Companion resources for "Learning Lean Feedback for Efficient Proof-Candidate Evaluation on GPUs": three models and two datasets.
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.
Learning Lean Feedback
Companion resources for "Learning Lean Feedback for Efficient Proof-Candidate Evaluation on GPUs": three models and two datasets.