Lazar Milikic
Lemmy00
ยท
AI & ML interests
None yet
Recent Activity
updated a model 2 days ago
formalmathatepfl/deepseek-prover-v2-cpt-sft-1e published a model 2 days ago
formalmathatepfl/deepseek-prover-v2-cpt-sft-1e updated a model 2 days ago
formalmathatepfl/deepseek-prover-v2-cptOrganizations
