基本信息
views: 36
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
I am deeply interested in the interplay between deep learning and mathematics. Specifically, my research focuses on two main areas:
Mathematics for Deep Learning: I am fascinated by how humans can understand deep neural networks and, more importantly, leverage this understanding to develop better models. My particular interest lies in optimization for deep learning, which I believe is one of the most critical areas where mathematics can make a significant impact. The ultimate goal in this direction is designing the next Adam.
Deep Learning for Mathematics (AI for Math): The impressive capabilities of large language models as natural language chatbots naturally lead to the question of whether these models can also serve as chatbots for mathematics. I am especially interested in how we can enhance language models using formal verifiers (such as Lean 4). I am a firm believer that AI will revolutionize the way human mathematicians develop mathematics and will eventually replace human mathematicians.
Mathematics for Deep Learning: I am fascinated by how humans can understand deep neural networks and, more importantly, leverage this understanding to develop better models. My particular interest lies in optimization for deep learning, which I believe is one of the most critical areas where mathematics can make a significant impact. The ultimate goal in this direction is designing the next Adam.
Deep Learning for Mathematics (AI for Math): The impressive capabilities of large language models as natural language chatbots naturally lead to the question of whether these models can also serve as chatbots for mathematics. I am especially interested in how we can enhance language models using formal verifiers (such as Lean 4). I am a firm believer that AI will revolutionize the way human mathematicians develop mathematics and will eventually replace human mathematicians.
Research Interests
Papers共 27 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
CoRR (2024)
Cited0Views0EIBibtex
0
0
ICLR 2023 (2023)
Cited0Views0Bibtex
0
0
CoRR (2023)
Cited0Views0Bibtex
0
0
NeurIPS (2023)
CoRR (2023): 161-190
NeurIPS (2023)
CoRR (2023)
ICLR 2023 (2023)
Cited0Views0EIBibtex
0
0
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn