maxwells-daemon

395 karmaJoined September 23, 202047 submissions

I'm a machine learning researcher at Harmonic (ex-NVIDIA) working on automated theorem proving.

Site: https://aidanswope.com/ Email: aidanswope@gmail.com