Gave an invited talk at at IBM Research New York on Inference-Time Scaling of Software Agents Via Search .