It is very difficult to not do interdisciplinary study at RUC since RUC has a strong atmosphere to do that. To focus on number theory, we try to apply all the tools from another disciplines to number theory and apply some tools from number theory to other disciplines.

[i]	Formalize the results in $p$-adic Hodge theory, in particular the work of Jean-Marc Fontaine, Jean Pierre Wintenberger, Pierre Colmez, Christophe Breuil and Laurent Berger. At the moment, it is a quite ambitious project, but I hope that the development of technology will help us to achieve this goal.
[ii]	Application of mathematical tools to Intelligent Traffic Systems (ITS).

AI4Math

[1]	Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization (with Yicheng Tao, Haotian Liu, Hongteng Xu), pdf, accepted by AI for Math Workshop@ICML2025 with Best Paper Honorable Mention Award.

Lean Projects

[1]	Ramification theory (Student project, group members Junjie Bai, Jiedong Jiang, Bichang Lei), in progress.

ITS

[1]	Traffic Flow and Speed Monitoring Based On Optical Fiber Distributed Acoustic Sensor (with Linlin Wang, Shixin Wang, Peng Wang, Wei Wang, Dezhao Wang, Yongcai Wang), pdf, Optical Fiber Technology, Volume 93, September 2025, 104228.