Rubén Ballester

I am a researcher in AI for mathematics at Axiom, working on deep learning methods for mathematical reasoning and discovery.

Before my current position, I was a researcher at NDEA, where I studied program synthesis and neurosymbolic AI and developed a special interest in search algorithms and reinforcement learning.

I completed my PhD in Topological Machine Learning at the Universitat de Barcelona under the supervision of Prof. Sergio Escalera, Prof. Carles Casacuberta, and Prof. Bastian Rieck. My research focused on studying and developing neural networks using tools from algebraic topology. During this time, I also became interested in the formalization of the mathematics behind deep learning, deep learning theory, and theorem proving with machine learning.

Prior to this, I completed my MSc degree in Advanced Mathematics and Mathematical Engineering at the Universitat Politècnica de Catalunya and was awarded the Càtedra Mir-Puig award to the highest GPA of the master’s degree. Additionally, I obtained two bachelor’s degrees, one in Mathematics and one in Computer Science, from the Universitat de Barcelona. For my BSc thesis, I received an award from the Catalan Association for Artificial Intelligence for the second-best BSc or MSc thesis in Artificial Intelligence (the only BSc thesis) in Catalonia. During my master’s I also worked as an adjunct professor in some mathematics and computer science courses at the Universitat de Barcelona and as research assistant in topological machine learning at the HuPBA group.

You can reach me directly at my email: rballeba@gmail.com, or in my social networks: X, LinkedIn, or GitHub.