| Combining data and theory for derivable scientific discovery with AI-Descartes C Cornelio, S Dash, V Austel, TR Josephson, J Goncalves, KL Clarkson, ... Nature Communications 14 (1), 1777, 2023 | 50 | 2023 |
| Learning dynamical systems with side information AA Ahmadi, B El Khadir Learning for Dynamics and Control, 718-727, 2020 | 49 | 2020 |
| Learning dynamical systems with side information AA Ahmadi, BE Khadir SIAM Review 65 (1), 183-223, 2023 | 17 | 2023 |
| Time-varying semidefinite programs AA Ahmadi, B El Khadir Mathematics of Operations Research 46 (3), 1054-1080, 2021 | 17 | 2021 |
| On algebraic proofs of stability for homogeneous vector fields AA Ahmadi, B El Khadir IEEE Transactions on Automatic Control 65 (1), 325-332, 2019 | 17 | 2019 |
| A globally asymptotically stable polynomial vector field with rational coefficients and no local polynomial Lyapunov function AA Ahmadi, B El Khadir Systems & Control Letters 121, 50-53, 2018 | 16 | 2018 |
| Piecewise-Linear Motion Planning amidst Static, Moving, or Morphing Obstacles B El Khadir, JB Lasserre, V Sindhwani arXiv preprint arXiv:2010.08167, 2020 | 13 | 2020 |
| On Sum of Squares Representation of Convex Forms and Generalized Cauchy--Schwarz Inequalities B El Khadir SIAM Journal on Applied Algebra and Geometry 4 (2), 377-400, 2020 | 10 | 2020 |
| Teleoperator Imitation with Continuous-time Safety B El Khadir, J Varley, V Sindhwani arXiv preprint arXiv:1905.09499, 2019 | 10 | 2019 |
| AI Descartes: Combining data and theory for derivable scientific discovery C Cornelio, S Dash, V Austel, T Josephson, J Goncalves, K Clarkson, ... arXiv preprint arXiv:2109.01634, 2021 | 5 | 2021 |
| Evolving scientific discovery by unifying data and background knowledge with AI Hilbert R Cory-Wright, C Cornelio, S Dash, B El Khadir, L Horesh Nature Communications 15 (1), 5922, 2024 | 4 | 2024 |
| Semidefinite Representations in Semialgebraic Optimization and Dynamics-Oriented Learning B El Khadir Princeton University, 2020 | 4 | 2020 |
| Generating a robot control policy from demonstrations B El Khadir, V Sindhwani, J Varley US Patent 11,420,328, 2022 | 2 | 2022 |
| AI Hilbert: a new paradigm for scientific discovery by unifying data and background knowledge R Cory-Wright, B El Khadir, C Cornelio, S Dash, L Horesh arXiv preprint arXiv:2308.09474, 0 | 2 | |
| Symbolic model discovery rectification L Horesh, C Cornelio, S Dash, JP Goncalves, KL Clarkson, N Megiddo, ... US Patent App. 18/298,727, 2024 | | 2024 |
| Logical and statistical composite models L Horesh, B El Khadir, S Dash, KL Clarkson, C Cornelio US Patent App. 18/190,239, 2024 | | 2024 |
| Background theory-based method for refinement and evaluation of functional models extracted from numerical data L Horesh, C Cornelio, B El Khadir, S Dash, JP Goncalves, KL Clarkson US Patent App. 18/194,605, 2024 | | 2024 |
| AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery R Cory-Wright, BE Khadir, C Cornelio, S Dash, L Horesh arXiv preprint arXiv:2308.09474, 2023 | | 2023 |
| Machine Learning+ Automated Reasoning for Theory Discovery T Josephson, V Austel, KA Clarkson, C Cornelio, S Dash, B El Khadir, ... 2021 AIChE Annual Meeting, 2021 | | 2021 |
| Integration of Data and Theory for Accelerated Derivable Symbolic Discovery. C Cornelio, S Dash, V Austel, TR Josephson, J Goncalves, KL Clarkson, ... CoRR, 2021 | | 2021 |
Sanjeeb DashIBM ResearchEmail verificata su us.ibm.com