BUSTA: Teaching Small Language Models to Reason About Binary Execution | ArxivCSExplorer