Skip to content

SpringSense-Innovation-Institute/ai-for-math-lean

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

16 Commits
 
 
 
 
 
 

Repository files navigation

AI for Math — Lean Code Repository

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.

Who We Are

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.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages