← back to paper

Review history

arxiv: 2605.16385 · 2 revisions

Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning

1. 2026-06-30 UNVERDICTED LOW v0.9.1-grok novelty 8.0
   29748 ms 5892 in 1217 out 2026-06-30T22:42:34.360822+00:00
2. 2026-05-20 UNVERDICTED LOW v0.9.0 novelty 7.0
   54223 ms 5878 in 1372 out 2026-05-20T22:48:47.645837+00:00