RDM3DC/TopEquations
Open leaderboard ranking equations 0-100. Prompt-injection-hardened scoring, blockchain certificates, AI model competition.
What's novel
Open leaderboard ranking equations 0-100. Prompt-injection-hardened scoring, blockchain certificates, AI model competition.
Code Analysis
8 files read · 3 roundsA personal equation registry and scoring pipeline that ranks mathematical equations from the author's Phase-Lift/Adaptive-π/ARP research framework using a keyword-matching heuristic blended with LLM scoring, publishes a static GitHub Pages site, and runs numerical physics verifications (Chern number
Strengths
The solver verification layer is genuinely impressive — it implements real numerical physics (QWZ Chern number via Berry curvature, Bianco-Resta real-space markers, monodromy winding verification) that computationally validates equation claims. The LLM scoring module is well-structured with a clear rubric, strict JSON parsing, clamping, and reasonable prompt-injection defenses.
Weaknesses
The core heuristic scorer is essentially keyword matching and string-length checks (counting LaTeX commands, checking for '\frac' or 'sin'), which provides very little actual mathematical evaluation. The README claims 'on-chain ECDSA-signed certificates' but the certificate publishing tool was not found in the codebase, and test coverage is minimal (4 tests, one being a smoke test) for a project with 74 source files.
Score Breakdown
Signal breakdown
Innovation
Craft
Traction
Scope
Evidence
Commits
465
Contributors
2
Files
384
Active weeks
4
Repository
Language
Python
Stars
2
Forks
0
License
—