Posted by Leopold Haller and Hernan Moraldo, Software Engineers, Google Research In the last two decades, dramatic advances in compute an... (more…)
Read more »
I present my recollections of Richard Feynman's mid-1980s interest in
artificial intelligence and neural networks, set in the technical context of
the physics-related approaches to neural networks of that time. I attempt to
evaluate his ideas in the light... (more…)
Read more »
Mission: To curate and create resources for practitioners to design, develop, deploy, and maintain ML applications at scale to drive measurable positive business impact. (more…)
Read more »
We present an environment, benchmark, and deep learning driven automated
theorem prover for higher-order logic. Higher-order interactive theorem provers
enable the formalization of arbitrary mathematical theories and thereby present
an interesting, open-e... (more…)
Read more »
If you'd like to get updates on how my progress goes, feel free to subscribe here or follow me on twitter! In 2020 and beyond, I plan to dive more deeply into independent research projects in Machine Learning and Theoretical Neuroscience. It has been on m... (more…)
Read more »