Which MATH-AI 23 works will have >50 Google Scholar citations by end of 2026?
Mini
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 Ṁ600 play money

More related questions