Author:
Laurel Jacob,Yang Rem,Sehgal Atharva,Ugare Shubham,Misailovic Sasa
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Improved Incremental Verification for Neural Networks;Lecture Notes in Computer Science;2024
2. Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs;International Journal on Software Tools for Technology Transfer;2023-08
3. Probabilistic Error Reasoning on IoT Edge Devices;2023 IEEE International Conference on Edge Computing and Communications (EDGE);2023-07
4. Incremental Verification of Neural Networks;Proceedings of the ACM on Programming Languages;2023-06-06
5. ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04