Hugging Face's logo

Goedel-LM
university
https://github.com/Goedel-LM
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

Bohan22  new activity 9 days ago
Goedel-LM/Goedel-Formalizer-V2-32B:Improve model card: Add title, paper link, project page, library name, pipeline tag and citation
Bohan22  new activity 9 days ago
Goedel-LM/Goedel-Formalizer-V2-32B:Improve model card: Add title, paper link, project page, library name, pipeline tag and citation
redpig-at-imo  authored a paper 3 months ago
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
View all activity

Goedel-LM 's datasets 3