Lazar Milikic
Lemmy00
ยท
AI & ML interests
None yet
Recent Activity
updated a model about 9 hours ago
formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-200-unmasked published a model about 9 hours ago
formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-200-unmasked updated a model about 10 hours ago
formalmathatepfl/qwen3-8b-classic-low-timeouts-grpoOrganizations
