20 citations · 24 across the 3 of their papers we have counts for
5 papers
Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert
Ryan Cory-Wright, Cristina Cornelio, Sanjeeb Dash +2
The discovery of scientific formulae that parsimoniously explain natural phenomena and align with existing background theory is a key goal in science. Historically, scientists have…
AI Descartes: Combining Data and Theory for Derivable Scientific Discovery
Cristina Cornelio, Sanjeeb Dash, Vernon Austel +6
Scientists have long aimed to discover meaningful formulae which accurately describe experimental data. A common approach is to manually create mathematical models of natural pheno…
Piecewise-Linear Motion Planning amidst Static, Moving, or Morphing Obstacles
Bachir El Khadir, Jean Bernard Lasserre, Vikas Sindhwani
We propose a novel method for planning shortest length piecewise-linear motions through complex environments punctured with static, moving, or even morphing obstacles. Using a mome…
On Sum of Squares Representation of Convex Forms and Generalized Cauchy-Schwarz Inequalities
Bachir El Khadir
A convex form of degree larger than one is always nonnegative since it vanishes together with its gradient at the origin. In 2007, Parrilo asked if convex forms are always sums of…
Teleoperator Imitation with Continuous-time Safety
Bachir El Khadir, Jake Varley, Vikas Sindhwani
Learning to effectively imitate human teleoperators, with generalization to unseen and dynamic environments, is a promising path to greater autonomy enabling robots to steadily acq…