of Computer Science
I am mainly interested right now in combining Machine Learning with Automated Theorem Proving.
But I've researched in many different parts of machine learning, both pure and applied, over the years.
“With 4 parameters I can fit an elephant. With 5 I can make him wiggle his trunk.” --- John Von Neumann, quoted by Freeman Dyson.
I am updating my site during October 2021, so you'll have to wait for this...