Hugging Face's logo
Lazar Milikic's picture

Lazar Milikic

Lemmy00
1 2
vkuncak's profile picture
ยท

AI & ML interests

None yet

Recent Activity

updated a model 1 day ago
EPFL-LARA/lean-feedback-qwen3-4b
updated a model 1 day ago
EPFL-LARA/lean-one-token-qwen3-8b
updated a model 1 day ago
EPFL-LARA/lean-encoder-modernbert-large
View all activity

Organizations

formalmathatepfl's profile picture Lab for Automated Reasoning and Analysis's profile picture