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 to start trading!
Related questions
Related questions
Which 2024 AI paper will have the most citations in 2030?
In 2030, which AI paper will have the most citations?
Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?
81% chance
Will there be a research paper that uses Manifold data and has 100 Google Scholar citations by the end of 2025?
73% chance
Which of the ICML 2023 Outstanding Paper award winners will have the most citations at the end of 2025?
Will any AI model achieve > 40% on Frontier Math before 2026?
92% chance
Will a paper solely authored by an AI research agent receive at least 100 citations by EOY 2025?
15% chance
Will this paper (https://arxiv.org/pdf/2410.00965) get at least 50 citations by the end of 2025?
29% chance
Will we have an AI generated research paper accepted to > 1 top ML conference by 2026?
49% chance
Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
27% chance