Xinjie He

Researcher

UCLA

1 standalone talk · 1 total lecture · 1h recorded

History & Humanities Mathematics

Standalone talks by Xinjie He

Self-contained public lectures, keynote addresses, and research seminars.

The IEANTN Project: Automation and Mathematical Understanding

38:29

History·Research Seminar

The IEANTN Project: Automation and Mathematical Understanding

Xinjie He·UCLA

Exploring the Integrated Explicit Analytic Number Theory Network (IEANTN), a system designed to formalize and organize complex results in analytic number theory using Lean.