CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs. - Jay Vaghasiya; Omkar Ghugarkar; Vishvesh Bhat; Vipul Dholaria; Julian McAuley (CoRR, 2025)