LICENSE
README.md
pyproject.toml
src/vibecheck/__init__.py
src/vibecheck/alpha_crown.py
src/vibecheck/alpha_tighten.py
src/vibecheck/attn_crown.py
src/vibecheck/batched_zono.py
src/vibecheck/bounded_module.py
src/vibecheck/box_halfspace.py
src/vibecheck/broadcast_util.py
src/vibecheck/cctsdb_yolo.py
src/vibecheck/cex_check_v2.py
src/vibecheck/cli_standard.py
src/vibecheck/config_detect.py
src/vibecheck/config_loader.py
src/vibecheck/config_profiles.py
src/vibecheck/dual_ascent_bab.py
src/vibecheck/forward_lirpa.py
src/vibecheck/gen_state_backward.py
src/vibecheck/gurobi_util.py
src/vibecheck/heartbeat.py
src/vibecheck/input_feasibility.py
src/vibecheck/io_util.py
src/vibecheck/lagrangian_n.py
src/vibecheck/main.py
src/vibecheck/monotone_invert.py
src/vibecheck/network.py
src/vibecheck/network_pair.py
src/vibecheck/nl_cos.py
src/vibecheck/nl_floor.py
src/vibecheck/nl_pow.py
src/vibecheck/nl_pwl.py
src/vibecheck/nl_sigmoid_tanh.py
src/vibecheck/nl_sin.py
src/vibecheck/nonlinear_augment.py
src/vibecheck/nonlinear_relax.py
src/vibecheck/nonlinear_split_dual.py
src/vibecheck/nonlinear_split_planes.py
src/vibecheck/onnx_loader.py
src/vibecheck/onnx_optimizer.py
src/vibecheck/onnx_torch_runner.py
src/vibecheck/patches_crown.py
src/vibecheck/patches_zonotope.py
src/vibecheck/pgd.py
src/vibecheck/preparse.py
src/vibecheck/reverse_batched.py
src/vibecheck/reverse_g.py
src/vibecheck/saturating_quant.py
src/vibecheck/settings.py
src/vibecheck/sign_attack.py
src/vibecheck/spec.py
src/vibecheck/surrogate_pgd.py
src/vibecheck/torch_attack.py
src/vibecheck/verify.py
src/vibecheck/verify_gen_lp.py
src/vibecheck/verify_graph.py
src/vibecheck/verify_hybrid_acasxu.py
src/vibecheck/verify_milp.py
src/vibecheck/verify_zono_bnb.py
src/vibecheck/vnnlib_loader.py
src/vibecheck/zonotope.py
src/vibecheck/configs/acasxu_2023.yaml
src/vibecheck/configs/adaptive_cruise_control_non_linear_2026.yaml
src/vibecheck/configs/cctsdb_yolo_2023.yaml
src/vibecheck/configs/cersyve.yaml
src/vibecheck/configs/cgan2026.yaml
src/vibecheck/configs/cgan_2023.yaml
src/vibecheck/configs/challenging_certified_training_2026.yaml
src/vibecheck/configs/cifar100_2024.yaml
src/vibecheck/configs/collins_aerospace_benchmark.yaml
src/vibecheck/configs/collins_rul_cnn_2022.yaml
src/vibecheck/configs/cora_2024.yaml
src/vibecheck/configs/default.yaml
src/vibecheck/configs/dist_shift_2023.yaml
src/vibecheck/configs/isomorphic_acasxu_2026.yaml
src/vibecheck/configs/linearizenn_2024.yaml
src/vibecheck/configs/lsnc_relu.yaml
src/vibecheck/configs/malbeware.yaml
src/vibecheck/configs/metaroom_2023.yaml
src/vibecheck/configs/ml4acopf_2024.yaml
src/vibecheck/configs/monotonic_acasxu_2026.yaml
src/vibecheck/configs/nn4sys.yaml
src/vibecheck/configs/relusplitter.yaml
src/vibecheck/configs/relusplitter_2026.yaml
src/vibecheck/configs/safenlp_2024.yaml
src/vibecheck/configs/sat_relu.yaml
src/vibecheck/configs/smart_turn_multimodal_2026.yaml
src/vibecheck/configs/soundnessbench.yaml
src/vibecheck/configs/soundnessbench_2026.yaml
src/vibecheck/configs/test.yaml
src/vibecheck/configs/tinyimagenet_2024.yaml
src/vibecheck/configs/tllverifybench_2023.yaml
src/vibecheck/configs/traffic_signs_recognition_2023.yaml
src/vibecheck/configs/vggnet16_2022.yaml
src/vibecheck/configs/vit_2023.yaml
src/vibecheck/configs/yolo_2023.yaml
src/vibecheck/examples/ACASXU_run2a_2_2_batch_2000.onnx
src/vibecheck/examples/prop_1.vnnlib
src/vibecheck/examples/prop_2.vnnlib
src/vibecheck/fast_dual_ascent/__init__.py
src/vibecheck/fast_dual_ascent/fast_verify_dual.py
src/vibecheck/fast_dual_ascent/fast_verify_topk.py
src/vibecheck_nn.egg-info/PKG-INFO
src/vibecheck_nn.egg-info/SOURCES.txt
src/vibecheck_nn.egg-info/dependency_links.txt
src/vibecheck_nn.egg-info/entry_points.txt
src/vibecheck_nn.egg-info/requires.txt
src/vibecheck_nn.egg-info/top_level.txt
tests/test_adaptive_integration_pieces.py
tests/test_alpha_crown_helpers.py
tests/test_alpha_crown_sparse.py
tests/test_attention_backward.py
tests/test_attn_batch.py
tests/test_augment_strict_disposition.py
tests/test_backward_crown_nl.py
tests/test_batched_zono.py
tests/test_bilinear_mul_broadcast.py
tests/test_bilinear_split.py
tests/test_bilinear_square_backward.py
tests/test_bnb.py
tests/test_box_halfspace.py
tests/test_broadcast_util.py
tests/test_cctsdb_yolo.py
tests/test_ce_clamp.py
tests/test_cex_check_v2.py
tests/test_cgan_op_bounds.py
tests/test_clear_ce_upgrade.py
tests/test_cli_standard.py
tests/test_competition_cex_equiv.py
tests/test_config_detect.py
tests/test_config_profiles.py
tests/test_coverage.py
tests/test_crown_scoring_conv_final.py
tests/test_dist_shift_soundness.py
tests/test_div_1d_bound.py
tests/test_div_bilinear_sound.py
tests/test_div_reciprocal_mul.py
tests/test_div_scalar_b.py
tests/test_drop_identity_pads.py
tests/test_dual_ascent_box_floor.py
tests/test_forward_lirpa_conv2d.py
tests/test_gather_backward_adjoint.py
tests/test_gen_cone_form_dispatch.py
tests/test_gen_cone_pipeline.py
tests/test_gen_cone_tightening.py
tests/test_gen_lp_reuse_phase1.py
tests/test_gen_lp_soundness_invariants.py
tests/test_gen_state_backward.py
tests/test_gpu_layers_bias_fold.py
tests/test_gpu_layers_input_affine.py
tests/test_graph_verify.py
tests/test_hard_timeout.py
tests/test_ibp_crown.py
tests/test_input_feasibility.py
tests/test_input_split_alpha_threshold.py
tests/test_input_split_new_helpers.py
tests/test_invprop_tighten.py
tests/test_io_util.py
tests/test_loading.py
tests/test_main_attack_hooks.py
tests/test_main_surrogate.py
tests/test_maxpool_to_relu.py
tests/test_milp.py
tests/test_milp_tighten_deadline.py
tests/test_min_max_to_relu.py
tests/test_monotone_invert.py
tests/test_n_output_probe.py
tests/test_nd_ops.py
tests/test_network_pair.py
tests/test_nl_cos.py
tests/test_nl_floor.py
tests/test_nl_pow.py
tests/test_nl_pwl.py
tests/test_nl_sigmoid_tanh.py
tests/test_nl_sin.py
tests/test_nonlinear_augment.py
tests/test_nonlinear_augment_strict.py
tests/test_nonlinear_pre_pgd.py
tests/test_nonlinear_relax.py
tests/test_nonlinear_split.py
tests/test_nonlinear_split_dab.py
tests/test_nonlinear_split_dual.py
tests/test_onnx2torch_compat.py
tests/test_onnx_ops.py
tests/test_onnx_torch_runner.py
tests/test_oom_policy.py
tests/test_op_clamp_soundness.py
tests/test_ops.py
tests/test_parse_problem_gpu.py
tests/test_patches_crown_fast.py
tests/test_patches_maxpool.py
tests/test_patches_zonotope.py
tests/test_pgd.py
tests/test_pgd_box_expand.py
tests/test_pgd_margin_signs.py
tests/test_phase2p5_zono_lift.py
tests/test_phase8_milp_modes.py
tests/test_pow_1d_bound.py
tests/test_preparse.py
tests/test_preparse_cache_skip.py
tests/test_reverse_g.py
tests/test_routing_input_dim_guard.py
tests/test_sat_witness_validation.py
tests/test_saturating_quant.py
tests/test_sb_margin_branch.py
tests/test_score_box_halfspace.py
tests/test_set_overrides.py
tests/test_sibling_halfspaces.py
tests/test_sigmoid_parallelogram.py
tests/test_sign_attack.py
tests/test_spec.py
tests/test_split_planes.py
tests/test_sub_bilinear.py
tests/test_sub_emission_forms.py
tests/test_surrogate_pgd.py
tests/test_torch_attack.py
tests/test_verify.py
tests/test_verify_api.py
tests/test_verify_graph.py
tests/test_vit_gg_pointprop.py
tests/test_vit_zono_forward.py
tests/test_vnncomp_nets.py
tests/test_vnnlib_spec_types.py
tests/test_zono_alpha_and_split.py
tests/test_zono_bilinear.py
tests/test_zono_spec_lbs_indexing.py
tests/test_zonotope.py