article-notes

an archive of posts with this tag

Feb 11, 2025	Mathematical discoveries from program search with large language models: A Summary