AI.info

Yuanhe Zhang

Explore Yuanhe Zhang on AI.info.

• From Helpfulness to Toxic Proactivity: Diagnosing Behavioral Misalignment in LLM Agents
• AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory
• DAG-Math: Graph-of-Thought Guided Mathematical Reasoning in LLMs