@misc{indiciaef1c4c733b720, title = {InSPECtor: Improving SLEIGH Processor Specification Veracity via Proxy}, author = {Michael Chesser and Paul Quirk and Douglas Cooke and Guy Farrelly and Surya Nepal and Damith C. Ranasinghe}, year = {2026}, url = {https://arxiv.org/abs/2608.13042}, note = {Source identifier: 2608.13042} }