Combining Data and Theory for Derivable Scientific Discovery with AI-Descartes
- Cristina Cornelio
- Sanjeeb Dash
- et al.
- 2023
- Nature Communications
Dr. Lior Horesh is a Principal Research Scientist, Master Inventor and a Senior Manager of the Mathematics & Theoretical Coputer Science (formerly Mathematics of AI) department at IBM Research. His department’s mission is to approach some of the big challenges the field of AI is facing, from a principled mathematical angle. This involves conceiving and bringing in state-of-the-art mathematical theories, algorithms and analysis tools, in hope of advancing fundamentally reasoning, generalizability, scalability, interpretability of AI.
Additionally, Dr. Horesh holds an adjunct Associate Professor position at the Computer Science department of Columbia University where he teaches graduate level Advanced Machine Learning and Quantum Computing courses. Dr. Horesh Received his Ph.D. in 2006 from UCL and joined IBM in 2009.
Dr. Horesh's research work focuses on algorithmic and theoretical aspects of tensor algebra, numerical analysis, simulation of complex systems, inverse problems, non-linear optimization, experimental design, machine learning, quantum computing and the interplay between deductive logic derivation (first-principles modelling) and inductive statistical AI in the context of symbolic scientific discovery.