Research

Research interests and open-source projects.

🔬 Research Interests

I am a mathematician specializing in differential geometry. My current research interests are Physics-Informed Neural Networks (PINNs), manifold learning, and formal proof verification using Lean 4.

💻 Open-Source Projects

My open-source projects are available on my GitHub page.

The chart below shows my public GitHub contribution history, reflecting ongoing development across my open-source projects in formal verification, symbolic computation, and differential geometry.