Lazar Milikic
Lemmy00
ยท
AI & ML interests
None yet
Recent Activity
updated a model about 8 hours ago
formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-140 published a model about 8 hours ago
formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-140 updated a dataset 2 days ago
formalmathatepfl/rl_dataOrganizations
