CS and physics undergrad at MIT. Interested in applying neurosymbolic learning to mathematical and scientific reasoning.