Nathan Hunt

Nathan Hunt

PhD Student, MIT
Verified email at mit.edu
Cited by 367
deep learning reinforcement learning neurosymbolic learning formal methods planning
Zhening Li

Zhening Li

Undergraduate researcher, MIT CSAIL
Verified email at csail.mit.edu
Cited by 46
Neurosymbolic learning AI for science AI for math AI for scientific discovery
Alexander F. Spies

Alexander F. Spies

CS Ph.D. Candidate, Imperial College London
Verified email at imperial.ac.uk
Cited by 10
Neurosymbolic Learning Object-centric Learning Empirical Deep Learning