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