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?

Idea Futures•Academia•Machine Learning

1

24

Ṁ135

Ṁ75

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.

Get Ṁ200 play money

Related in Academia

Will I advance to a PhD candidate on my first try?

+7% 1d73% chance

Will the ability of F-1 international students to work in the US be severely curtailed before July 2025?

See more Academia questions

Related in Machine Learning

Will we see most new language models shifting to addition-only architectures like BitNet/BitNet 1.58b in 2024?

Willa model on the LMsys Leaderboard reach 100,000 votes by September 2024?

See more Machine Learning questions

More related questions

Will an AI get gold on any International Math Olympiad by 2025?

Will aesop be able to replace >50% of mathlib proofs by 2025-11-26?

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

Will the Alphafold 2 paper reach 30,000 citations in 2024?

Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2026?

Which ML paper published in 2023 will get the most citation by EOY 2024?

Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?

Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2025?

By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?

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

Academia questions

Will I advance to a PhD candidate on my first try?

Will the ability of F-1 international students to work in the US be severely curtailed before July 2025?

Machine Learning questions

Will we see most new language models shifting to addition-only architectures like BitNet/BitNet 1.58b in 2024?

Willa model on the LMsys Leaderboard reach 100,000 votes by September 2024?

Related questions

Will an AI get gold on any International Math Olympiad by 2025?

Which ML paper published in 2023 will get the most citation by EOY 2024?

Will aesop be able to replace >50% of mathlib proofs by 2025-11-26?

Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?

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

Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2025?

Will the Alphafold 2 paper reach 30,000 citations in 2024?

By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?

Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2026?

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