Follow
Bachir EL KHADIR
Bachir EL KHADIR
Two Sigma
Verified email at ibm.com - Homepage
Title
Cited by
Cited by
Year
Learning dynamical systems with side information
AA Ahmadi, B El Khadir
Learning for Dynamics and Control, 718-727, 2020
422020
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
192023
On algebraic proofs of stability for homogeneous vector fields
AA Ahmadi, B El Khadir
IEEE Transactions on Automatic Control 65 (1), 325-332, 2019
172019
Time-varying semidefinite programs
AA Ahmadi, B El Khadir
Mathematics of Operations Research 46 (3), 1054-1080, 2021
152021
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
152018
Learning dynamical systems with side information
AA Ahmadi, BE Khadir
SIAM Review 65 (1), 183-223, 2023
92023
Piecewise-Linear Motion Planning amidst Static, Moving, or Morphing Obstacles
B El Khadir, JB Lasserre, V Sindhwani
arXiv preprint arXiv:2010.08167, 2020
92020
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
82020
Teleoperator Imitation with Continuous-time Safety
B El Khadir, J Varley, V Sindhwani
arXiv preprint arXiv:1905.09499, 2019
82019
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
32021
Semidefinite Representations in Semialgebraic Optimization and Dynamics-Oriented Learning
B El Khadir
Princeton University, 2020
32020
Generating a robot control policy from demonstrations
B El Khadir, V Sindhwani, J Varley
US Patent 11,420,328, 2022
22022
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
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
The system can't perform the operation now. Try again later.
Articles 1–16