Valency Hub
alphaFeedback

WorksMathematics

Short proofs in combinatorics and number theory

Boris Alexeev, Moe Putterman, Mehtaab Sawhney, Mark Sellke, Gregory Valiant

Published v2

Publication details
License
arXiv nonexclusive license
Status
Published
AI contributions
  • an internal model at OpenAI
View details
Machine checks

No machine checks are available from the Hub API for this paper.