maxwells-daemon
I'm a machine learning researcher at Harmonic (ex-NVIDIA) working on automated theorem proving.
Site: https://aidanswope.com/ Email: aidanswope@gmail.com
Recent submissions
All submissions and comments on Hacker News.
I'm a machine learning researcher at Harmonic (ex-NVIDIA) working on automated theorem proving.
Site: https://aidanswope.com/ Email: aidanswope@gmail.com
All submissions and comments on Hacker News.