Godel-LM
university
AI & ML interests
None defined yet.
Recent Activity
View all activity
Organization Card
This is the home page for the Godel project. We aim to enable large language model to reason through formal language such as LEAN4
models
None public yet
datasets
None public yet