Hugging Face's logo

Spaces:
neonforestmist
/
formal-problem-solving-repro
Running

App Files Community
neonforestmist commited on
Commit
ee4d3a4
·
verified ·
1 Parent(s): d4eaded

Restore ICML challenge identity tags after logbook repair

Browse files

Re-add the exact required challenge and paper tags removed by the Trackio README regeneration.

Files changed (1) hide show
  1. README.md +6 -4
README.md CHANGED
@@ -1,14 +1,16 @@
1
  ---
2
- title: "Beyond Theorem Proving — Exact 12/12 CPU Reproduction"
3
  emoji: 🎯
4
  colorFrom: yellow
5
  colorTo: red
6
  sdk: static
7
  pinned: false
8
  tags:
9
- - trackio
10
- - trackio-logbook
11
- - open-experiment
 
 
12
  ---
13
 
14
  # Beyond Theorem Proving — Exact 12/12 CPU Reproduction
 
1
  ---
2
+ title: Beyond Theorem Proving — Exact 12/12 CPU Reproduction
3
  emoji: 🎯
4
  colorFrom: yellow
5
  colorTo: red
6
  sdk: static
7
  pinned: false
8
  tags:
9
+ - trackio
10
+ - trackio-logbook
11
+ - open-experiment
12
+ - icml2026-repro
13
+ - paper-hgMZraPlSv
14
  ---
15
 
16
  # Beyond Theorem Proving — Exact 12/12 CPU Reproduction