{"type": "article", "title": "ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/improver-2-iteratively-self-improving-lms-for-neurosymbolic-proof-optimization", "original_source": "https://arxiv.org/abs/2605.22885", "published": "2026-05-25T04:00:00+00:00", "accessed": "2026-07-09", "id": "improver-2-iteratively-self-improving-lms-for-neurosymbolic-proof-optimization"}