all AI news
Correctness Verification of Neural Networks Approximating Differential Equations
Feb. 13, 2024, 5:44 a.m. | Petros Ellinas Rahul Nellikath Ignasi Ventura Jochen Stiasny Spyros Chatzivasileiadis
cs.LG updates on arXiv.org arxiv.org
become cs.lg cs.sy deployment differential dynamic eess.sy integral major networks neural networks nns safety safety-critical simulation software solution systems the simulation tools verification
More from arxiv.org / cs.LG updates on arXiv.org
Jobs in AI, ML, Big Data
Data Architect
@ University of Texas at Austin | Austin, TX
Data ETL Engineer
@ University of Texas at Austin | Austin, TX
Lead GNSS Data Scientist
@ Lurra Systems | Melbourne
Senior Machine Learning Engineer (MLOps)
@ Promaton | Remote, Europe
Business Data Scientist, gTech Ads
@ Google | Mexico City, CDMX, Mexico
Lead, Data Analytics Operations
@ Zocdoc | Pune, Maharashtra, India