HN
New
Show
Ask
Jobs
Built with Next
User : maxwells-daemon
Created:
1600895766
Karma:
187
I'm a machine learning researcher at Harmonic (ex-NVIDIA) working on automated theorem proving.
Site: https://aidanswope.com/ Email: aidanswope@gmail.com
submissions
|
comments