maxwells-daemon
...joined 5 years ago, and has 395 karma
submissions / comments / favourites
I'm a machine learning researcher at Harmonic (ex-NVIDIA) working on automated theorem proving.
Site: https://aidanswope.com/ Email: aidanswope@gmail.com
...joined 5 years ago, and has 395 karma
submissions / comments / favourites
I'm a machine learning researcher at Harmonic (ex-NVIDIA) working on automated theorem proving.
Site: https://aidanswope.com/ Email: aidanswope@gmail.com