# POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.

Cornell University - arXiv

Jun 2021

摘要

展开全部

图表提取

暂无人提供速读十问回答

论文十问由沈向洋博士提出，鼓励大家带着这十个问题去阅读论文，用有用的信息构建认知模型。写出自己的十问回答，还有机会在当前页面展示哦。

Q1论文试图解决什么问题？

Q2这是否是一个新的问题？

Q3这篇文章要验证一个什么科学假设？