Hugging Face's logo
Christian Kissig's picture

Christian Kissig

christiankissig
ยท
https://christian.kissig.org

AI & ML interests

Automated theorem proving

Organizations

University of Kent's profile picture