Which MATH-AI 23 works will have >50 Google Scholar citations by end of 2026?
Basic
1
Ṁ1352027
1D
1W
1M
ALL
50%
Magnushammer: A Transformer-Based Approach to Premise Selection
8%
llmstep: LLM proofstep suggestions in Lean
6%
AI for Mathematics: A Cognitive Science Perspective
This question is managed and resolved by Manifold.
Get
1,000
and3.00
Related questions
Related questions
Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?
59% chance
Will an AI achieve >85% performance on the FrontierMath benchmark before 2027?
32% chance
Will an AI achieve >30% performance on the FrontierMath benchmark before 2026?
28% chance
Which 2024 AI paper will have the most citations in 2030?
Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
38% chance
Will we have an AI generated research paper accepted to > 1 top ML conference by 2026?
49% chance
In 2030, which AI paper will have the most citations?
Will Manifold be cited in a paper from a top-tier AI lab or AI journal before 2025?
15% chance
Will this paper (https://arxiv.org/pdf/2410.00965) get at least 50 citations by the end of 2025?
50% chance
Will we have an AI generated research paper accepted to > 1 top ML conference by 2025?
15% chance