Which MATH-AI 23 works will have >50 Google Scholar citations by end of 2026? | Manifold

Which MATH-AI 23 works will have >50 Google Scholar citations by end of 2026?

Basic

1

Ṁ135

2027

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

The papers will eventually be availalble here , for now you can see them on OpenReview here. I will resolve by searching the paper title on Google Scholar on the close date.

This question is managed and resolved by Manifold.

#Machine Learning

Get

1,000

and

3.00

Related questions

Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?

-10% 1d29% chance

Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?

Will we have an AI generated research paper accepted to > 1 top ML conference by 2028?

-4% 1d69% chance

In 2030, which AI paper will have the most citations?

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?

+5% 1d85% chance

Will we have an AI generated research paper accepted to > 1 top ML conference by 2026?

Which 2024 AI paper will have the most citations in 2030?

Will there be a research paper that uses Manifold data and has 100 Google Scholar citations by the end of 2025?

Will any AI model score >80% on Epoch's Frontier Math Benchmark in 2025?

Related questions

Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?

Will any AI model achieve > 40% on Frontier Math before 2026?

Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?

Will we have an AI generated research paper accepted to > 1 top ML conference by 2026?

Will we have an AI generated research paper accepted to > 1 top ML conference by 2028?

Which 2024 AI paper will have the most citations in 2030?

In 2030, which AI paper will have the most citations?

Will there be a research paper that uses Manifold data and has 100 Google Scholar citations by the end of 2025?

Which of the ICML 2023 Outstanding Paper award winners will have the most citations at the end of 2025?

Will any AI model score >80% on Epoch's Frontier Math Benchmark in 2025?

© Manifold Markets, Inc.•Terms + Mana-only Terms•Privacy•Rules