@misc{indiciaec131b15788b3,
  title = {Faultless: A Program Equivalence Technique for Validating and Evaluating Neural Decompilers},
  author = {Luke Dramko and Claire Le Goues and Edward Schwartz},
  year = {2026},
  url = {https://arxiv.org/abs/2609.34089},
  note = {Source identifier: 2609.34089}
}