כתבה
arXiv cs.CL ·
CORE: הסרת סתירות לחיפוש מודלי שפה
CORE: Conflict-Oriented Reasoning Elimination for Verifiable Language-Model Search
CORE הוא שיטה לחיפוש מודלי שפה. היא משתמשת באימות סתירות כדי לנווט את החיפוש. Qwen2.5-7B-Instruct ו-Qwen3-8B הראו שיפור בביצועים.
תקציר מקורי באנגליתarXiv:2609.39069v1 Announce Type: new Abstract: Test-time reasoning systems often respond to failure by restarting or revising the latest step, even when an earlier decision caused the error. We introduce CORE, a search controller that requests a certified conflict core from a verifier, backjumps to the latest decision in that core, and caches the conflict to avoid repeating it. Under sound verification, finite branching and depth, and exhaustive proposals, the uncapped search is complete and never prunes a valid solution. On 2,000 planted graph-coloring instances with matched proposals and an exact verifier, CORE reduces median verifier calls by 39.8% at 30 variables and 35.0% at 36 variables relative to chronological repair; caching further improves on backjumping alone. Across five reas
קרא במקור המקורי
arxiv.org
פתח כתבה מקורית