Blog Posts
- Take a look at our Blog Post HERE
Talks & Videos
- Talk at INFORMS Optimization Society Conference, Houston, TX (March 2024)
- Talk “Artificial Intelligence to Assist Mathematical Reasoning: Webinar on the Future of Collaboration” at National Academies
- Talk “The Future of Discovery in the Age of Human-AI Collaboration” at MIDAS (Michigan Institute for data Science)
- Talk “Should we Derive or Let the Data Drive? Mutually Substantiated Discovery by Symbiotizing Data-driven Learning and Knowledge-based Reasoning” at Cornell Center for Applied Mathematics
- Talk “Should we Derive or Let the Data Drive? Symbiotizing Data-driven Learning and Knowledge-based Reasoning to Accelerate Symbolic Discovery” at ICIAM 2023
- Talk “Should we Derive or Let the Data Drive? A Symbiotic Approach” at Princeton Simons Seminar on Hidden Symmetries
- Incoming talk at the Fields Institute
References
Papers:
- AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery via Polynomial Optimization, R. Cory-Wright, C. Cornelio, S. Dash, B. El Khadir, L. Horesh, Nature Communications 15, 5922 (2024).
Patents:
- Logical and Statistical Composite Models, L. Horesh, B. El Khadir, S. Dash, K. Clarkson, C. Cornelio, 2023