backend ok
Story history
Score and comment observations over time
Training Natural Language Verifiers with Lean
HN #50,121,765 | submitted 2026-10-16 17:47 UTC | huggingface.co
44 observationsby andes314
3 points
Latest score
0 comments
Latest comments
+2
Score change
Rank history is not tracked yet in the current dataset, so this first slice focuses on score and comment movement.
Score
Range 1 to 3
2026-10-16 17:50 UTC2026-10-16 21:08 UTC
Comments
Range 0 to 0
2026-10-16 17:50 UTC2026-10-16 21:08 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-10-16 17:50 UTCLatest 2026-10-16 21:08 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-10-16 21:08 UTC | 3 | 0 | not tracked |
| 2026-10-16 21:04 UTC | 3 | 0 | not tracked |
| 2026-10-16 20:59 UTC | 3 | 0 | not tracked |
| 2026-10-16 20:55 UTC | 3 | 0 | not tracked |
| 2026-10-16 20:50 UTC | 3 | 0 | not tracked |
| 2026-10-16 20:45 UTC | 3 | 0 | not tracked |
| 2026-10-16 20:41 UTC | 3 | 0 | not tracked |
| 2026-10-16 20:36 UTC | 3 | 0 | not tracked |
| 2026-10-16 20:31 UTC | 3 | 0 | not tracked |
| 2026-10-16 20:27 UTC | 3 | 0 | not tracked |
| 2026-10-16 20:22 UTC | 3 | 0 | not tracked |
| 2026-10-16 20:17 UTC | 3 | 0 | not tracked |
| 2026-10-16 20:13 UTC | 3 | 0 | not tracked |
| 2026-10-16 20:08 UTC | 3 | 0 | not tracked |
| 2026-10-16 20:04 UTC | 3 | 0 | not tracked |
| 2026-10-16 19:59 UTC | 3 | 0 | not tracked |
| 2026-10-16 19:54 UTC | 3 | 0 | not tracked |
| 2026-10-16 19:50 UTC | 3 | 0 | not tracked |
| 2026-10-16 19:45 UTC | 3 | 0 | not tracked |
| 2026-10-16 19:41 UTC | 3 | 0 | not tracked |
| 2026-10-16 19:36 UTC | 3 | 0 | not tracked |
| 2026-10-16 19:31 UTC | 3 | 0 | not tracked |
| 2026-10-16 19:27 UTC | 3 | 0 | not tracked |
| 2026-10-16 19:22 UTC | 3 | 0 | not tracked |
| 2026-10-16 19:17 UTC | 3 | 0 | not tracked |
| 2026-10-16 19:13 UTC | 3 | 0 | not tracked |
| 2026-10-16 19:08 UTC | 3 | 0 | not tracked |
| 2026-10-16 19:04 UTC | 3 | 0 | not tracked |
| 2026-10-16 18:59 UTC | 3 | 0 | not tracked |
| 2026-10-16 18:54 UTC | 3 | 0 | not tracked |
| 2026-10-16 18:50 UTC | 3 | 0 | not tracked |
| 2026-10-16 18:45 UTC | 3 | 0 | not tracked |
| 2026-10-16 18:40 UTC | 3 | 0 | not tracked |
| 2026-10-16 18:36 UTC | 3 | 0 | not tracked |
| 2026-10-16 18:31 UTC | 3 | 0 | not tracked |
| 2026-10-16 18:27 UTC | 3 | 0 | not tracked |
| 2026-10-16 18:22 UTC | 3 | 0 | not tracked |
| 2026-10-16 18:17 UTC | 3 | 0 | not tracked |
| 2026-10-16 18:13 UTC | 3 | 0 | not tracked |
| 2026-10-16 18:08 UTC | 3 | 0 | not tracked |
| 2026-10-16 18:04 UTC | 3 | 0 | not tracked |
| 2026-10-16 17:59 UTC | 2 | 0 | not tracked |
| 2026-10-16 17:55 UTC | 1 | 0 | not tracked |
| 2026-10-16 17:50 UTC | 1 | 0 | not tracked |