{
  "video_id": "5b2e6df31eb9f716",
  "channel": "export-arxiv-org-rss-cs-ai",
  "title": "LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization",
  "scores": {
    "depth": 3,
    "novelty": 3,
    "aria_relevance": 3,
    "production_ready": 2
  },
  "junk_penalty": 0,
  "avg_score": 2.75,
  "effective_score": 2.75,
  "verdict": "promote",
  "one_line_reason": "Multi-agent orchestration für formale Mathematik mit Blueprint-Abstraktion und CI-gated DAG-Parallelisierung—direkter Hit auf Agent-Koordination, State-Management und Observability; substanzreich, evaluiert auf realen Problemen, Code verfügbar.",
  "model": "claude-haiku-4-5-20251001",
  "cost_usd": 0.00191,
  "triaged_at": "2026-06-06T15:00:45.046565+00:00"
}