topic-scout/topic.example.json at main · ginaecho/topic-scout · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
{
  "slug": "ai-theorem-proving",
  "topic": "AI for theorem proving",
  "goal": "Track methods that improve formal proof search and verification",
  "audience": "research engineers",
  "include": [
    "formal theorem proving",
    "proof search",
    "verifier-guided generation"
  ],
  "exclude": [
    "informal math tutoring"
  ],
  "years": {
    "from": 2023,
    "to": 2026
  },
  "evidence_types": [
    "methods",
    "benchmarks",
    "systems",
    "surveys"
  ],
  "taxonomy": [
    "proof generation",
    "proof search",
    "verification",
    "benchmarks",
    "systems"
  ],
  "cadence": "weekly",
  "approval_required": true,
  "search_queries": [
    "AI formal theorem proving proof search",
    "LLM verifier guided proof generation",
    "neural theorem proving benchmark"
  ],
  "judging": {
    "weights": {
      "topical_fit": 0.5,
      "evidence_match": 0.3,
      "rigor": 0.2
    },
    "recency": {
      "decay_per_year": 0.03,
      "floor": 0.75,
      "unknown_year": 0.9
    },
    "accept_hi": 7.0,
    "accept_lo": 4.0,
    "min_confidence": 0.35,
    "prefilter": {
      "enabled": true,
      "scorer": "current",
      "threshold": 0.0,
      "keep_min": 5
    }
  },
  "theme": {
    "palette": {
      "ink": "#17201f",
      "paper": "#f3efe4",
      "panel": "#fffdf6",
      "line": "#c9c1b1",
      "muted": "#706c63",
      "accent": "#e4572e",
      "accent2": "#1d6f75"
    },
    "fonts": {
      "display": "Georgia, serif",
      "body": "\"Avenir Next\", \"Gill Sans\", sans-serif"
    },
    "category_colors": ["#e4572e", "#1d6f75", "#f3a712", "#963484", "#4267ac", "#5b8e3e", "#7b6045"]
  },
  "created_at": "2026-06-12"
}