Lazar Milikic
Lemmy00
ยท
AI & ML interests
None yet
Recent Activity
updated a dataset 7 days ago
formalmathatepfl/feedback_data_training updated a dataset 9 days ago
formalmathatepfl/lean-docs updated a model 3 months ago
formalmathatepfl/deepseek-prover-v2-feedback-grpo-2050Organizations
