| user | maxwells-daemon |
| created | Jan 19, 1970 |
| karma | 401 |
| about | I'm a machine learning researcher at Harmonic (ex-NVIDIA) working on automated theorem proving. Site: https://aidanswope.com/ Email: aidanswope@gmail.com |
| user | maxwells-daemon |
| created | Jan 19, 1970 |
| karma | 401 |
| about | I'm a machine learning researcher at Harmonic (ex-NVIDIA) working on automated theorem proving. Site: https://aidanswope.com/ Email: aidanswope@gmail.com |