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