{
  "video_id": "f1bd7bd4289d6929",
  "channel": "export-arxiv-org-rss-cs-ai",
  "title": "Characterizing initial human-AI proof formalization workflows",
  "scores": {
    "depth": 2,
    "novelty": 2,
    "aria_relevance": 2,
    "production_ready": 1
  },
  "avg_score": 1.75,
  "verdict": "summary_only",
  "one_line_reason": "Empirische Mixed-Methods-Studie zu Human-AI-Workflows in Math-Formalization mit direkte Insights zu Human-Control, Tool-Adaption und praktischen Barrieren; hohe aria_relevance für Multi-Agent-Pattern und User-Integration-Design trotz limitierter Production-Readiness.",
  "model": "claude-haiku-4-5-20251001",
  "cost_usd": 0.001865,
  "triaged_at": "2026-06-04T15:03:15.122766+00:00"
}