This repository contains Lean code developed across our organization, collected in one place to support our internal work and our broader effort on AI for Math.
The Shanghai Xuhui SpringSense Innovation Institute was co-founded by Professor Yu Yong, founder of the ACM Honored Class at Shanghai Jiao Tong University, and Mr. Zhang Yiming, founder of ByteDance. SpringSense is dedicated to cultivating top-tier talent in Computer Science and Artificial Intelligence, with a strong emphasis on global perspective, innovative capability, and social responsibility. Each year, SpringSense recruits 30 outstanding individuals aged 16–18 with relevant disciplinary strengths to join as Full-time Research Trainees. These trainees participate in a comprehensive five-year program that is equipped with premium educational resources and follows a project-driven learning model.