khayyam-math

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

arashkermani  updated a model 2 days ago

khayyam-math/khayyam-math-qwen2.5-7b-v4

arashkermani  published a model 2 days ago

khayyam-math/khayyam-math-qwen2.5-7b-v4

View all activity

Team members 1