Towards Efficient Neurally-Guided Program Induction for ARC-AGI