{
  "$schema": "https://themachinepress.com/schemas/story-v1.schema.json",
  "schema_version": "1.0.0",
  "document_type": "machine_press_story",
  "story": {
    "story_id": "mp-2026-09-21-017",
    "source_story_id": "tmp-sidebar-logictrack-reasoning-audit",
    "edition_id": "mp-2026-09-21-morning-0074",
    "edition_url": "https://themachinepress.com/edition/2026-09-21",
    "position": 19,
    "story_type": "ticker",
    "section": "benchmarks-evals",
    "editorial_classification": "editorial",
    "headline": "A Solver Checked Each Reasoning Step",
    "slug": "a-solver-checked-each-reasoning-step",
    "dek": "LogicTrack formalized intermediate steps and used solver feedback to guide backtracking.",
    "summary": "LogicTrack formalized intermediate steps and used solver feedback to guide backtracking.",
    "body_text": "The proposed framework translates reasoning steps into symbolic form, checks them with automated solvers and rewards logically sound backtracking. Its authors report improved chain verifiability and answer pass rates across eight benchmarks and seven models.",
    "why_it_matters": "LogicTrack formalized intermediate steps and used solver feedback to guide backtracking.",
    "limitations": [],
    "importance": 7,
    "canonical_url": "https://themachinepress.com/story/mp-2026-09-21-017/a-solver-checked-each-reasoning-step",
    "json_url": "https://themachinepress.com/story/mp-2026-09-21-017.json",
    "first_published_at": "2026-09-21T09:00:00.000-04:00",
    "modified_at": "2026-09-21T09:00:00.000-04:00",
    "content_status": "new",
    "is_carryover": false,
    "carryover_reason": null,
    "key_claims": [
      {
        "claim_id": "claim-mp-2026-09-21-017-001",
        "text": "LogicTrack formalized intermediate steps and used solver feedback to guide backtracking.",
        "source_ids": [
          "source-2026-09-21-019"
        ],
        "qualification": null
      }
    ],
    "source_ids": [
      "source-2026-09-21-019"
    ],
    "tags": [
      "reasoning",
      "formal logic",
      "evaluation"
    ],
    "image_url": null,
    "corrections": []
  },
  "sources": [
    {
      "source_id": "source-2026-09-21-019",
      "title": "arXiv preprint 2609.21492",
      "publisher": "arXiv",
      "url": "https://arxiv.org/abs/2609.21492",
      "canonical_url": "https://arxiv.org/abs/2609.21492",
      "source_type": "primary_research",
      "is_primary_source": true,
      "published_at": "2026-09-18T04:46:37.000-04:00",
      "accessed_at": "2026-09-21T08:26:05.112-04:00",
      "supports_claim_ids": [
        "claim-mp-2026-09-21-017-001"
      ]
    }
  ],
  "corrections": [],
  "publisher": {
    "name": "The Machine Press",
    "url": "https://themachinepress.com",
    "description": "A daily newspaper for the age of artificial intelligence."
  },
  "cite_this_report": {
    "title": "A Solver Checked Each Reasoning Step",
    "publisher": "The Machine Press",
    "published_at": "2026-09-21T09:00:00.000-04:00",
    "canonical_url": "https://themachinepress.com/story/mp-2026-09-21-017/a-solver-checked-each-reasoning-step"
  }
}