AI & ML interests
Visualized math teaching · LLM-driven figure generation · Formal verification (Lean 4, Z3, Mathlib) · Real-time SVG synthesis · AI for education
Recent Activity
khayyam-math 's datasets
None public yet