from Hacker News

maxwells-daemon

joined 9/23/20, 9:16 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