Lazar Milikic
Lemmy00
ยท
AI & ML interests
None yet
Recent Activity
updated a model 3 days ago
formalmathatepfl/deepseek-prover-v2-feedback-grpo-800 published a model 3 days ago
formalmathatepfl/deepseek-prover-v2-feedback-grpo-800 updated a model 6 days ago
formalmathatepfl/deepseek-prover-v2-grpo-800Organizations
