Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[PDF][PDF] Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification
Bound propagation based incomplete neural network verifiers such as CROWN are very
efficient and can significantly accelerate branch-and-bound (BaB) based complete …
efficient and can significantly accelerate branch-and-bound (BaB) based complete …
General cutting planes for bound-propagation-based neural network verification
Bound propagation methods, when combined with branch and bound, are among the most
effective methods to formally verify properties of deep neural networks such as correctness …
effective methods to formally verify properties of deep neural networks such as correctness …
Verifying controllers with vision-based perception using safe approximate abstractions
Fully formal verification of perception models is likely to remain challenging in the
foreseeable future, and yet these models are being integrated into safety-critical control …
foreseeable future, and yet these models are being integrated into safety-critical control …
Conformal prediction for stl runtime verification
We are interested in predicting failures of cyber-physical systems during their operation.
Particularly, we consider stochastic systems and signal temporal logic specifications, and we …
Particularly, we consider stochastic systems and signal temporal logic specifications, and we …
Perception contracts for safety of ML-enabled systems
We introduce a novel notion of perception contracts to reason about the safety of controllers
that interact with an environment using neural perception. Perception contracts capture …
that interact with an environment using neural perception. Perception contracts capture …