{"url":"/task/provable-adversarial-defense","name":"Provable Adversarial Defense","slug":"provable-adversarial-defense","description_markdown":null,"categories":[{"name":"Adversarial","url":"/area/adversarial"}],"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","slug_source":"archive_url"},"counts":{"papers_tagged":3,"papers_with_code":3,"benchmarks":2,"benchmark_tables_in_archive":2,"benchmark_tables_shown":2,"benchmark_tables_withheld_as_spam":0,"benchmark_definition":"a leaderboard table with at least one row; benchmark_tables_shown also counts the zero-row tables; benchmark_tables_in_archive adds the tables withheld as spam","datasets":2,"subtasks":0,"parent_tasks":1},"benchmarks":[{"leaderboard":"/sota/provable-adversarial-defense-on-cifar-10","slug":"provable-adversarial-defense-on-cifar-10","dataset":"CIFAR-10","dataset_url":"/dataset/cifar-10","rows_in_archive":4,"metrics":["Accuracy"],"first_row_in_archive_order":{"model":"SLL X-Large","paper_title":"A Unified Algebraic Perspective on Lipschitz Neural Networks","paper_url":"/paper/a-unified-algebraic-perspective-on-lipschitz","paper_date":"2023-03-06","arxiv_id":"2303.03169","code_links":[{"title":"araujoalexandre/lipschitz-sll-networks","url":"https://github.com/araujoalexandre/lipschitz-sll-networks"}],"syntology":{"n":4,"n_ran":2,"n_unverified":2,"n_pointer_only":0}}},{"leaderboard":"/sota/provable-adversarial-defense-on-cifar-100","slug":"provable-adversarial-defense-on-cifar-100","dataset":"CIFAR-100","dataset_url":"/dataset/cifar-100","rows_in_archive":4,"metrics":["Accuracy"],"first_row_in_archive_order":{"model":"SLL X-Large","paper_title":"A Unified Algebraic Perspective on Lipschitz Neural Networks","paper_url":"/paper/a-unified-algebraic-perspective-on-lipschitz","paper_date":"2023-03-06","arxiv_id":"2303.03169","code_links":[{"title":"araujoalexandre/lipschitz-sll-networks","url":"https://github.com/araujoalexandre/lipschitz-sll-networks"}],"syntology":{"n":4,"n_ran":2,"n_unverified":2,"n_pointer_only":0}}}],"datasets":[{"url":"/dataset/cifar-10","name":"CIFAR-10","full_name":"CIFAR-10","num_papers_in_archive":16145},{"url":"/dataset/cifar-100","name":"CIFAR-100","full_name":"","num_papers_in_archive":9045}],"subtasks":[],"parent_tasks":[{"url":"/task/adversarial-defense","name":"Adversarial Defense"}],"papers":{"order":"repositories listed in the archive (desc), then date (desc); the archive holds no stars","population":"papers tagged with this task that list at least one repository in the archive","shown":3,"of":3,"tagged_in_all":3,"items":[{"url":"/paper/a-unified-algebraic-perspective-on-lipschitz","title":"A Unified Algebraic Perspective on Lipschitz Neural Networks","date":"2023-03-06","arxiv_id":"2303.03169","repositories_listed":1,"syntology":{"n":4,"n_ran":2,"n_unverified":2,"n_pointer_only":0}},{"url":"/paper/towards-adversarial-patch-analysis-and","title":"Towards Adversarial Patch Analysis and Certified Defense against Crowd Counting","date":"2021-04-22","arxiv_id":"2104.10868","repositories_listed":1,"syntology":null},{"url":"/paper/certification-of-semantic-perturbations-via","title":"Certified Defense to Image Transformations via Randomized Smoothing","date":"2020-02-27","arxiv_id":"2002.12463","repositories_listed":1,"syntology":{"n":1,"n_ran":1,"n_unverified":0,"n_pointer_only":0}}],"syntology_records":2,"syntology_note":"a paper without a record is not a recorded non-run: it may lack an arXiv id or simply be absent from the graph layer"},"description_links":{"kept":0,"unwrapped_to_text":0,"bare_urls_linked":0,"relative_images_dropped":0,"rule":"internal links are kept only when the target slug exists in the catalog"},"syntology":{"read_at":"2026-09-24T18:15:14+00:00","claim":"Per-sample execution status on synthesized fixtures ('ran N of M samples'); not a correctness claim and not a ranking signal.","status_vocabulary":{"ran_honours":"ran, honoured the contract we drafted","ran_violates":"ran, violated the contract we drafted","ran_draft_wrong":"ran; our contract draft was wrong, not the code","ran_fixture":"ran; our fixture could not drive it","ran":"ran on a synthesized input","unverified":"unverified (harvested, no recorded run)"}},"not_shown":{"libraries":"the archive has no per-task library table","trend_sparklines":"the Trend column of the benchmarks table was a rendered image; it is not in the archive","social_and_latest_sorts":"stars and social signals are not in the archive"}}