Which MATH-AI 23 works will have >50 Google Scholar citations by end of 2026?
Basic
1
Ṁ135
2027
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
Ṁ1,000
and
S3.00
© Manifold Markets, Inc.Terms + Mana-only TermsPrivacyRules