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