This article explains the key points of Aristotle: IMO-level Automated Theorem Proving. 2025-10-01 (arXiv) Achim, Tudor, Best, Alex, Bietti, Alberto, Der, Kevin, Fédérico, Mathïs, Gukov, Sergei, Halpern-Leistner, Daniel, Henningsgard, Kirsten, Kudryashov, Yury, Meiburg, Alexander, et al. Harmonic, California Institute of Technology, Cornell University, University of Waterloo and Perimeter Institute, University...

이번 글에서는 Aristotle: IMO-level Automated Theorem Proving 논문의 핵심 포인트만 간단히 정리한다. 2025년 10월 1일(Arxiv) Achim, Tudor, Best, Alex, Bietti, Alberto, Der, Kevin, Fédérico, Mathïs, Gukov, Sergei, Halpern-Leistner, Daniel, Henningsgard, Kirsten, Kudryashov, Yury, Meiburg, Alexander, et al. Harmonic, California Institute of Technology, Cornell University, University of Waterloo and Perimeter Institute,...

This article explains the key points of Regression Language Models for Code. 2025-09-30 (arXiv), 43rd International Conference on Machine Learning, PMLR 306, 2026 Akhauri, Yash, Song, Xingyou, Wongpanich, Arissa, Lewandowski, Bryan, Abdelfattah, Mohamed S.. Cornell University, Google DeepMind, Google Cloud Paper Github Read this article in Korean Summary Predicting execution...

이번 글에서는 Regression Language Models for Code 논문의 핵심 포인트만 간단히 정리한다. 2025년 9월 30일(Arxiv), 43rd International Conference on Machine Learning, PMLR 306, 2026 Akhauri, Yash, Song, Xingyou, Wongpanich, Arissa, Lewandowski, Bryan, Abdelfattah, Mohamed S.. Cornell University, Google DeepMind, Google Cloud 논문 링크 Github 영문판 보기 요약 코드에서 실행 메모리,...

This article explains the key points of Mem-{\alpha}: Learning Memory Construction via Reinforcement Learning. 2025-09-30 (arXiv) Wang, Yu, Takanobu, Ryuichi, Liang, Zhiqi, Mao, Yuzhen, Hu, Yuanzhe, McAuley, Julian, Wu, Xiaojian. Anuttacon, University of California San Diego, Stanford University Paper Github Read this article in Korean Summary Large language model (LLM)...