conftrace_

model verification

13 papers

Explore in graph

Co-occurring keywords

formal verification (284) language model (4599) generative model (2892) gradient boosting (147) context attribution (2) statement verification (18) large-scale dataset (20) smt solving (22) random forest (326) lagrangian method (14)

Papers

Training Data Provenance Verification: Did Your Model Use Synthetic Data from My Generative Model for Training? CVPR 2025
Sparse Transfer Learning Accelerates and Enhances Certified Robustness: A Comprehensive Study AAAI 2025
ContextCite: Attributing Model Generation to Context NIPS 2024
Optimistic Verifiable Training by Controlling Hardware Nondeterminism NIPS 2024
Knowledge-Augmented Language Model Verification EMNLP 2023
Sound and Complete Verification of Polynomial Networks NIPS 2022
Towards Verifiable Federated Learning IJCAI 2022
Versatile Verification of Tree Ensembles ICML 2021
On the Verification of Neural ODEs with Stochastic Guarantees AAAI 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