A arxiv.org PatternBoost: Constructions in Mathematics with a Little Help from AI 1 points adas0693 2 years ago 2 comments