A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems Paper • 2411.18872 • Published Nov 28, 2024 • 1
Dissecting CLIP: Decomposition with a Schur Complement-based Approach Paper • 2412.18645 • Published Dec 24, 2024 • 1
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems Paper • 2411.18872 • Published Nov 28, 2024 • 1
Dissecting CLIP: Decomposition with a Schur Complement-based Approach Paper • 2412.18645 • Published Dec 24, 2024 • 1