Specifications and Proofs for Ensemble Layers
No abstract available.
Related papers
- Latte: a language, compiler, and runtime for elegant and efficient deep neural networks PLDI 2016
- Detecting Races in Ensembles of Message Sequence Charts TACAS 2007
- DeepSEA: a language for certified system software OOPSLA 2019
- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) TACAS 2022
- Quantifying Sensitivity for Tree Ensembles: A Symbolic and Compositional Approach CAV 2026
- S-EnKF: co-designing for scalable ensemble Kalman filter PPoPP 2019
- Argosy: verifying layered storage systems with recovery refinement PLDI 2019
- Shared Certificates for Neural Network Verification CAV 2022