כתבה
arXiv cs.AI ·
NormWorlds-CF: Solver-Verified Counterfactual Normative Reasoning with Metamorphic-Relation GRPO
אנו מציגים את NormWorlds-CF, סביבת פיתוח מאומתת להחלטות נורמטיביות נגד-עובדות, עם GRPO של קשר-מטאמורפי. הסביבה כוללת תוכניות סולבר, תעודות-שקר, סטטוסים של הגות, קבוצות-תמיכה, ותווי-עובדה של שינוי-זוג. הבנק-אימות מכיל תפניות-סטייג' ומשימה-זוג-קצרה עם 270 משפחות-ראש ו-1080 זוגות-קנוני-ל-משתנה.
תקציר מקורי באנגליתarXiv:2607.03957v2 Announce Type: replace-cross Abstract: Language models can reach the right normative verdict for the wrong reason. We introduce NormWorlds-CF, a solver-verified environment for counterfactual normative reasoning in executable rule worlds. Its deterministic solver produces final answers, proof and falsification certificates, argument statuses, support sets, and paired-world change labels, enabling supervision and evaluation without LLM judges. The benchmark contains staged SFT diagnostics and a compact paired-world task with 270 root families and 1080 canonical-to-variant pairs. The SFT diagnostics show that final-answer supervision can saturate verdict accuracy without inducing falsification competence: answer-only SFT reaches perfect answer accuracy but scores zero on j
קרא במקור המקורי
arxiv.org
פתח כתבה מקורית