model verification

Data Taggants: Dataset Ownership Verification Via Harmless Targeted Data Poisoning ICLR 2025 Mixture of Attentions For Speculative Decoding ICLR 2025 Neural Interactive Proofs ICLR 2025 REEF: Representation Encoding Fingerprints for Large Language Models ICLR 2025 Sparse Transfer Learning Accelerates and Enhances Certified Robustness: A Comprehensive Study AAAI 2025 Training Data Provenance Verification: Did Your Model Use Synthetic Data from My Generative Model for Training? CVPR 2025 ContextCite: Attributing Model Generation to Context NeurIPS 2024 On the Vulnerability of Adversarially Trained Models Against Two-faced Attacks ICLR 2024 Optimistic Verifiable Training by Controlling Hardware Nondeterminism NeurIPS 2024 Knowledge-Augmented Language Model Verification EMNLP 2023 Sound and Complete Verification of Polynomial Networks NeurIPS 2022 Towards Verifiable Federated Learning IJCAI 2022 On the Verification of Neural ODEs with Stochastic Guarantees AAAI 2021 Versatile Verification of Tree Ensembles ICML 2021 Combining Deep Learning and Verification for Precise Object Instance Detection CoRL 2019 Verifying Robustness of Gradient Boosted Models AAAI 2019 Formal Verification of Bayesian Network Classifiers PGM 2018 A Large-Scale Car Dataset for Fine-Grained Categorization and Verification CVPR 2015