Navigating research by changing problem representations (RLHF example)
Mathematician-derived metamodel for research reframing, but the abstraction makes it hard to verify substance.

Curated list of open math problems, but lacks interactive proof tools or novel verification.
Mathematicians, researchers, and graduate students
Wikipedia · arXiv · Open Problem Garden
Mathematician-derived metamodel for research reframing, but the abstraction makes it hard to verify substance.
Hand-picked WebGL gallery, but curated directories don't solve real problems.
Curated problem list with an API, but lacks the depth of a real research database.
7-year interview-prep notes in a GitHub repo, competitors are textbooks and paid courses.
SPI scoring formula is clever but Snyk and Semgrep already cover these 10 engines.
15 years of bespoke math mechanics, but playable demos remain behind 'Preamble' link.