Hugging Face's logo
Jonathan Laurent's picture

Jonathan Laurent

jonathan-laurent
jonathan-laurent

AI & ML interests

Machine learning and theorem proving

Organizations

Carnegie Mellon University School of Computer Science's profile picture

models

None public yet

datasets

None public yet