maxwells-daemonjoined on 9/23/2020390 karmaI'm a machine learning researcher at Harmonic (ex-NVIDIA) working on automated theorem proving.Site: https://aidanswope.com/ Email: aidanswope@gmail.com