Lab for Automated Reasoning and Analysis

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 model 4 days ago

EPFL-LARA/lean-feedback-qwen3-4b

Lemmy00  updated a model 4 days ago

EPFL-LARA/lean-one-token-qwen3-8b

Lemmy00  updated a model 4 days ago

EPFL-LARA/lean-encoder-modernbert-large

View all activity

Team members 2