首页>
外国专利>
METHOD FOR PROVING OR IDENTIFYING COUNTER-EXAMPLES IN NEURAL NETWORKS SYSTEMS THAT PROCESS POINT CLOUD DATA
METHOD FOR PROVING OR IDENTIFYING COUNTER-EXAMPLES IN NEURAL NETWORKS SYSTEMS THAT PROCESS POINT CLOUD DATA
展开▼
机译:在处理点云数据的神经网络系统中证明或识别反击示例的方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
Described is a system for proving correctness properties of a neural network for providing estimates for point cloud data. The system receives as input a description of a neural network for generating estimates from a set of point cloud data. The description of the neural network is parsed to obtain a symbolic representation. Based on a combination of the symbolic representation and a set of analysis parameters, the system generates an analysis output indicating whether the neural network satisfies a correctness property in generating the estimates from the set of point cloud data. The analysis output is a mathematical proof artifact proving that the set of analysis parameters is satisfied, a list of one or more point clouds for which the set of analysis parameters is violated, or a report that progress could not be made by the analysis.
展开▼