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 achieve >85% performance on the FrontierMath benchmark before 2028?

+19% 1d70% chance

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

+34% 1d63% chance

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

Will I (co)write an AI safety research paper by the end of 2024?

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

Will any AI reach 20%+ performance on FrontierMath by December 31st 2026?

+34% 1d94% chance

Will an AI achieve >30% performance on the FrontierMath benchmark before 2026?

+78% 1d89% chance

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

Will Manifold be cited in a paper from a top-tier AI lab or AI journal before 2025?

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

Related questions

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

Will any AI reach 20%+ performance on FrontierMath by December 31st 2026?

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

Will an AI achieve >30% performance on the FrontierMath benchmark before 2026?

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?

Will I (co)write an AI safety research paper by the end of 2024?

Will Manifold be cited in a paper from a top-tier AI lab or AI journal before 2025?

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

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

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