@misc{indiciaee64fc0f8b759,
  title = {PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning},
  author = {Ange-Thierry Ishimwe and Raghuveer Shivakumar and Heewoo Kim and Tamara Lehman and Joseph Izraelevitz},
  year = {2025},
  url = {https://arxiv.org/abs/2509.16497},
  note = {Source identifier: 2509.16497}
}