CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis. - Anjiang Wei; Tarun Suresh; Jiannan Cao; Naveen Kannan; Yuheng Wu; Kai Yan; Thiago S. F. X. Teixeira; Ke Wang; Alex Aiken (CoRR, 2025)