[논문리뷰] The Loss Does Not See the Basis, but Adam Does본 논문은 Factored Model에서 Gradient Descent가 보여주는 저차원(low-rank) 학습 유도 편향(Implicit bias)이 왜 Adam과 같은 적응형 최적화 기법에서는 발현되지 않는지를 규명한다.#Review#Gauge Equivariance#Implicit Bias#Adam#Low-rank Recovery#Matrix Factorization#Optimizer Zoo#Symmetry2026년 8월 10일댓글 수 로딩 중
[논문리뷰] EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty본 논문은 형식적 정리 증명(formal theorem proving) 분야에서 대규모 언어 모델(LLMs) 의 일반화 능력이 부족하고 문제 진술의 사소한 변화에도 취약하다는 한계를 해결하는 것을 목표로 합니다.#Review#Automated Theorem Proving#Data Augmentation#Large Language Models#Formal Mathematics#Symmetry#Difficulty Evolution#Abstract Syntax Tree#Generalizability2025년 10월 7일댓글 수 로딩 중