2 papers
cs.CR2025
Provably effective detection of effective data poisoning attacks
Jonathan Gallagher, Yasaman Esfandiari, Callen MacPhee +1
This paper establishes a mathematically precise definition of dataset poisoning attack and proves that the very act of effectively poisoning a dataset ensures that the attack can b…
cs.LG2024
Self-Satisfied: An end-to-end framework for SAT generation and prediction
Christopher R. Serrano, Jonathan Gallagher, Kenji Yamada +2
The boolean satisfiability (SAT) problem asks whether there exists an assignment of boolean values to the variables of an arbitrary boolean formula making the formula evaluate to T…