ImProver 2 — Web Pulse coverage

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization :: https://wpnews.pro/news/improver-2-iteratively-self-improving-lms-for-neurosymbolic-proof-optimization