EPFL-LARA/lean-feedback-qwen3-4b
Text Generation • 4B • Updated • 835
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 • 34
EPFL-LARA/lean-encoder-modernbert-large
Text Classification • 0.4B • Updated • 25
EPFL-LARA/lean-standard-prover-qwen3-8b-reasoning-grpo
Text Generation • 8B • Updated • 634
EPFL-LARA/lean-world-model-qwen3-8b-reasoning-grpo
Text Generation • 8B • Updated • 619
EPFL-LARA/lean-standard-prover-qwen3-8b-grpo
Text Generation • 8B • Updated • 614
EPFL-LARA/lean-world-model-qwen3-4b-grpo
Text Generation • 4B • Updated • 612
EPFL-LARA/lean-world-model-qwen3-8b-grpo
Text Generation • 8B • Updated • 619
EPFL-LARA/lean-standard-prover-qwen3-8b-sft
Text Generation • 8B • Updated • 607 • 1
EPFL-LARA/lean-world-model-qwen3-8b-sft
Text Generation • 8B • Updated • 615