TY  - RPRT
TI  - Faultless: A Program Equivalence Technique for Validating and Evaluating Neural Decompilers
AU  - Luke Dramko
AU  - Claire Le Goues
AU  - Edward Schwartz
PY  - 2026
UR  - https://arxiv.org/abs/2609.34089
ID  - 2609.34089
ER  -