Lazar Milikic
Lemmy00
ยท
AI & ML interests
None yet
Recent Activity
updated a dataset about 11 hours ago
formalmathatepfl/feedback_data_training updated a model 1 day ago
formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-60-filtered published a model 1 day ago
formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-60-filteredOrganizations
