@misc{indiciae22d62fb2d9d4,
  title = {Certified Pruning from Counterfactual Consistency: Exact Certificates and Structured SAT Families},
  author = {Maximilian Ralph Peter von Liechtenstein},
  year = {2025},
  url = {https://arxiv.org/abs/2509.07000},
  note = {Source identifier: 2509.07000}
}