Lazar Milikic
Lemmy00
ยท
AI & ML interests
None yet
Recent Activity
updated a dataset 1 day ago
formalmathatepfl/sft_classic updated a model 14 days ago
formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-200-unmasked published a model 15 days ago
formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-200-unmaskedOrganizations
