MathAdv benchmark evaluates theorem provers' reasoning and generalization

New arXiv paper introduces MathAdv, a benchmark for formal theorem proving that goes beyond aggregate proof accuracy to assess reasoning, formalization, and generalization. It addresses limitations of existing benchmarks that focus on narrow math and limited robustness evidence.