Which MATH-AI 23 works will have >50 Google Scholar citations by end of 2026?
Mini
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
Get แน600 play money
Related questions
Related questions
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?
45% chance
Will Manifold be cited in a paper from a top-tier AI lab or AI journal before 2025?
37% chance
Will we have an AI generated research paper accepted to > 1 top ML conference by 2026?
48% chance
Will Google have a better LLM than OpenAI by 2025?
31% chance
In 2030, which AI paper will have the most citations?
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
23% chance
Will there be a research paper that uses Manifold data and has 100 Google Scholar citations by the end of 2025?
73% chance
Will OpenAI's next-gen math-focused model score at least 95% on the MATH benchmark?
71% chance
Will we have an AI generated research paper accepted to > 1 top ML conference by 2027?
62% chance