Subgoal-XL

Reported on 4 benchmarks across 2 tasks · 1 paper

Note: results are matched by exact model name. Different papers may use the same name for different model variants.

Miscellaneous4 results

Automated Theorem ProvingonminiF2F-test
Pass@32· uses extra data· 2024-08-20
39.3
best: 68.85 (Kimina-Prover-Preview)
SubgoalXL: Subgoal-based Expert Learning for Theorem Proving arXiv:2408.11172
Automated Theorem ProvingonminiF2F-test
cumulative· uses extra data· 2024-08-20
56.1
best: 80.74 (Kimina-Prover-Preview)
SubgoalXL: Subgoal-based Expert Learning for Theorem Proving arXiv:2408.11172
Mathematical ProofsonminiF2F-test
Pass@32· uses extra data· 2024-08-20
39.3
best: 68.85 (Kimina-Prover-Preview)
SubgoalXL: Subgoal-based Expert Learning for Theorem Proving arXiv:2408.11172
Mathematical ProofsonminiF2F-test
cumulative· uses extra data· 2024-08-20
56.1
best: 80.74 (Kimina-Prover-Preview)
SubgoalXL: Subgoal-based Expert Learning for Theorem Proving arXiv:2408.11172