Lazar Milikic
Lemmy00
ยท
AI & ML interests
None yet
Recent Activity
published a model about 4 hours ago
formalmathatepfl/deepseek-prover-v2-cpt-sft-feedback-1e updated a model 3 days ago
formalmathatepfl/deepseek-prover-v2-cpt-sft-1e published a model 3 days ago
formalmathatepfl/deepseek-prover-v2-cpt-sft-1eOrganizations
