Lazar Milikic
Lemmy00
AI & ML interests
None yet
Recent Activity
updated a collection 2 days ago
Proof Optimization updated a model 2 days ago
EPFL-LARA/Qwen3.8-Flash-Next-ProofOpt-SFT-step148-FP8 updated a model 14 days ago
EPFL-LARA/lean-feedback-qwen3-4bOrganizations
