all AI news
Towards a Certified Proof Checker for Deep Neural Network Verification
Feb. 14, 2024, 5:44 a.m. | Remi Desmartin Omri Isac Grant Passmore Kathrin Stark Guy Katz Ekaterina Komendantskaya
cs.LG updates on arXiv.org arxiv.org
adoption bugs community cs.lg cs.lo cs.pl deep neural network implementation network networks neural network neural networks safety safety-critical systems tools verification
More from arxiv.org / cs.LG updates on arXiv.org
The Perception-Robustness Tradeoff in Deterministic Image Restoration
2 days, 13 hours ago |
arxiv.org
Jobs in AI, ML, Big Data
Founding AI Engineer, Agents
@ Occam AI | New York
AI Engineer Intern, Agents
@ Occam AI | US
AI Research Scientist
@ Vara | Berlin, Germany and Remote
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