{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/190600628","title":"Fast and Stable Interval Bounds Propagation for Training Verifiably Robust Models","arxiv_id":"1906.00628","date":"2019-06-03","proceeding":null,"authors":["Paweł Morawiecki","Przemysław Spurek","Marek Śmieja","Jacek Tabor"],"abstract":"We present an efficient technique, which allows to train classification networks which are verifiably robust against norm-bounded adversarial attacks. This framework is built upon the work of Gowal et al., who applies the interval arithmetic to bound the activations at each layer and keeps the prediction invariant to the input perturbation. While that method is faster than competitive approaches, it requires careful tuning of hyper-parameters and a large number of epochs to converge. To speed up and stabilize training, we supply the cost function with an additional term, which encourages the model to keep the interval bounds at hidden layers small. Experimental results demonstrate that we can achieve comparable (or even better) results using a smaller number of training iterations, in a more stable fashion. Moreover, the proposed model is not so sensitive to the exact specification of the training process, which makes it easier to use by practitioners.","url_abs":"https://arxiv.org/abs/1906.00628v2","url_pdf":"https://arxiv.org/pdf/1906.00628v2.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"190600628","repo_url":"https://github.com/pawelmorawiecki/Fast-and-stable-IBP","is_official":0,"mentioned_in_paper":0,"mentioned_in_github":1,"framework":"pytorch","reach":null}],"tasks":[],"methods":[{"method_slug":"speed","method_name":"SPEED"}],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":"https://app.syntology.ai/?focus=1906.00628","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"1906.00628"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-24T18:15:14+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/pawelmorawiecki/Fast-and-stable-IBP","reach":null}],"summary":{"unverified":3},"by_repo_kind":{"listed":{"samples":3,"ran":0,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":3,"samples":[{"code_sha256_prefix":"8d9dbc5692b7818c","entry":"bound_propagation","repo":"pawelmorawiecki/Fast-and-stable-IBP","repo_kind":"listed","path":"IBP_SVHN_medium-1.py","file_url":"https://github.com/pawelmorawiecki/Fast-and-stable-IBP/blob/HEAD/IBP_SVHN_medium-1.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"8d9dbc5692b7818c"}},{"code_sha256_prefix":"0a3bead9a6d56105","entry":"epoch","repo":"pawelmorawiecki/Fast-and-stable-IBP","repo_kind":"listed","path":"IBP_SVHN_medium-1.py","file_url":"https://github.com/pawelmorawiecki/Fast-and-stable-IBP/blob/HEAD/IBP_SVHN_medium-1.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"0a3bead9a6d56105"}},{"code_sha256_prefix":"e5d155abea91462f","entry":"interval_based_bound","repo":"pawelmorawiecki/Fast-and-stable-IBP","repo_kind":"listed","path":"IBP_SVHN_medium-1.py","file_url":"https://github.com/pawelmorawiecki/Fast-and-stable-IBP/blob/HEAD/IBP_SVHN_medium-1.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"e5d155abea91462f"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}