{"entity": "ImProver 2", "url": "https://wpnews.pro/entity/ImProver 2", "count": 1, "articles": [{"slug": "improver-2-iteratively-self-improving-lms-for-neurosymbolic-proof-optimization", "title": "ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization", "url": "https://wpnews.pro/news/improver-2-iteratively-self-improving-lms-for-neurosymbolic-proof-optimization", "published_at": "2026-05-25 04:00:00+00:00"}]}