{"total":17,"rows":[{"id":"2103.15624","title":"Shape-constrained Symbolic Regression -- Improving Extrapolation with Prior Knowledge","created":"2021-03-29","cited_by_count":27,"area":null},{"id":"2308.09474","title":"Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert","created":"2023-08-18","cited_by_count":18,"area":null},{"id":"2109.08947","title":"Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control","created":"2021-09-18","cited_by_count":12,"area":null},{"id":"2203.03034","title":"A Unified View of SDP-based Neural Network Verification through Completely Positive Programming","created":"2022-03-06","cited_by_count":12,"area":null},{"id":"2304.12405","title":"Synthesizing Stable Reduced-Order Visuomotor Policies for Nonlinear Systems via Sums-of-Squares Optimization","created":"2023-04-24","cited_by_count":7,"area":null},{"id":"2304.06783","title":"A Distributionally Robust Approach to Regret Optimal Control using the Wasserstein Distance","created":"2023-04-13","cited_by_count":3,"area":null},{"id":"2311.06374","title":"Higher-Order Newton Methods with Polynomial Work per Iteration","created":"2023-11-10","cited_by_count":3,"area":null},{"id":"2203.15474","title":"Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safety","created":"2022-03-29","cited_by_count":2,"area":null},{"id":"2211.06513","title":"Stable and Transferable Hyper-Graph Neural Networks","created":"2022-11-11","cited_by_count":2,"area":null},{"id":"2109.05710","title":"Robust Stability of Neural Network-controlled Nonlinear Systems with Parametric Variability","created":"2021-09-13","cited_by_count":1,"area":null},{"id":"2109.05077","title":"Data Generation Method for Learning a Low-dimensional Safe Region in Safe Reinforcement Learning","created":"2021-09-10","cited_by_count":0,"area":null},{"id":"2208.03622","title":"Parabolic Relaxation for Quadratically-constrained Quadratic Programming -- Part I: Definitions & Basic Properties","created":"2022-08-07","cited_by_count":0,"area":null},{"id":"2208.03625","title":"Parabolic Relaxation for Quadratically-constrained Quadratic Programming -- Part II: Theoretical & Computational Results","created":"2022-08-07","cited_by_count":0,"area":null},{"id":"2209.06175","title":"Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant","created":"2022-09-13","cited_by_count":0,"area":null},{"id":"2409.09687","title":"Training Safe Neural Networks with Global SDP Bounds","created":"2024-09-15","cited_by_count":0,"area":null},{"id":"2410.19844","title":"A practical, fast method for solving sum-of-squares problems for very large polynomials","created":"2024-10-21","cited_by_count":0,"area":null},{"id":"2603.01267","title":"Certifiable Factor Graph Optimization","created":"2026-03-01","cited_by_count":0,"area":null}],"next_cursor":null}