Hugging Face's logo
Bohan22's picture
10 5

Bohan22

Bohan22
21world's profile picture knightnemo's profile picture
·

AI & ML interests

None yet

Recent Activity

new activity 8 days ago
Goedel-LM/Goedel-Formalizer-V2-32B:Improve model card: Add title, paper link, project page, library name, pipeline tag and citation
new activity 8 days ago
Goedel-LM/Goedel-Formalizer-V2-32B:Improve model card: Add title, paper link, project page, library name, pipeline tag and citation
new activity 3 months ago
unsloth/gpt-oss-20b-BF16:now working on vllm
View all activity

Organizations

UCSD-GENIE's profile picture Goedel-LM's profile picture