Converting a large mathematical software package written in C++ to C++20 modules(arxiv.org)127 points by vblanco 1 year ago | 40 comments
Abstract Interpretation as a Programming Language(arxiv.org)48 points by Hirrolot 2 years ago | 3 comments
Language models as compilers: Simulating pseudocode execution(arxiv.org)159 points by milliondreams 2 years ago | 49 comments
Gold-Medalist Performance in Solving Olympiad Geometry with AlphaGeometry2(arxiv.org)38 points by hnhn34 1 year ago | 2 comments
Llemma: An Open Language Model for Mathematics(arxiv.org)239 points by AlphaWeaver 3 years ago | 43 comments