Hugging Face's logo
Ciarán Dunne's picture

Ciarán Dunne

zermelo44
Violette's profile picture
·

AI & ML interests

interactive theorem proving, set theory, higher-order logic

Organizations

Heriot-Watt University's profile picture

models 0

None public yet

datasets 0

None public yet