Hugging Face's logo
Jonathan Laurent's picture

Jonathan Laurent

jonathan-laurent
ยท

AI & ML interests

Machine learning and theorem proving

Organizations

Carnegie Mellon University School of Computer Science's profile picture