Lazar Milikic
Lemmy00
AI & ML interests
None yet
Recent Activity
updated a dataset 3 days ago
EPFL-LARA/lean-refactor-arena-assets-20261104 published a dataset 3 days ago
EPFL-LARA/lean-refactor-arena-assets-20261104 updated a collection 3 days ago
Proof OptimizationOrganizations
