AI.info

Jason D. Lee

Explore Jason D. Lee on AI.info.

• AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory
• Neural Networks Learn Generic Multi-Index Models Near Information-Theoretic Limit
• DAG-Math: Graph-of-Thought Guided Mathematical Reasoning in LLMs