EPFL-LARA/lean-feedback-qwen3-4b
Text Generation • 4B • Updated • 878
AI & ML interests
AI for mathematics, including formal mathematics and theorem proving in Lean, and AI for verified software engineering.
Recent Activity
View all activity
EPFL-LARA/lean-one-token-qwen3-8b
Text Classification • 8B • Updated • 35
EPFL-LARA/lean-encoder-modernbert-large
Text Classification • 0.4B • Updated • 26
EPFL-LARA/lean-standard-prover-qwen3-8b-reasoning-grpo
Text Generation • 8B • Updated • 676
EPFL-LARA/lean-world-model-qwen3-8b-reasoning-grpo
Text Generation • 8B • Updated • 661
EPFL-LARA/lean-standard-prover-qwen3-8b-grpo
Text Generation • 8B • Updated • 658
EPFL-LARA/lean-world-model-qwen3-4b-grpo
Text Generation • 4B • Updated • 654
EPFL-LARA/lean-world-model-qwen3-8b-grpo
Text Generation • 8B • Updated • 659
EPFL-LARA/lean-standard-prover-qwen3-8b-sft
Text Generation • 8B • Updated • 660 • 1
EPFL-LARA/lean-world-model-qwen3-8b-sft
Text Generation • 8B • Updated • 656