226 citations · 272 across the 15 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021★ 5 cited
Accelerating Understanding of Scientific Experiments with End to End Symbolic Regression
Nikos Arechiga, Francine Chen, Yan-Ying Chen +4
We consider the problem of learning free-form symbolic expressions from raw data, such as that produced by an experiment in any scientific domain. Accurate and interpretable models…
cs.RO2021★ 6 cited
Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
Daniel Jackson, Valerie Richmond, Mike Wang +6
Widespread adoption of autonomous cars will require greater confidence in their safety than is currently possible. Certified control is a new safety architecture whose goal is two-…