Joined 9/23/2020, 9:16:06 PM has 184 karma
I'm a machine learning researcher working at NVIDIA on automated theorem proving.
Site: https://aidanswope.com/ Email: aidanswope@gmail.com
This user hasn't posted yet