Verified Reasoning | Bohan Chen's Personal Webpagehttps://chenbh.com/tags/verified-reasoning/Verified ReasoningHugo Blox Builder (https://hugoblox.com)en-usFri, 31 Jul 2026 00:00:00 +0000https://chenbh.com/media/icon_hu5000416120042106492.pngVerified Reasoninghttps://chenbh.com/tags/verified-reasoning/Learning to Coordinate Symbolic Tools: LLM Agents for Verified Sum-of-Squares Certificateshttps://chenbh.com/publication/chen-symbolic-tools-2026/Fri, 31 Jul 2026 00:00:00 +0000https://chenbh.com/publication/chen-symbolic-tools-2026/