MathDB1 problem
- 0 votes0 replies0 views
FormulaOne reasoning-depth conjecture for frontier AI models
The FormulaOne benchmark consists of algorithmic coding problems generated from Monadic Second-Order logic on graphs, with solutions requiring potentially many interdependent mathe…