2 papers
cs.AI2026
Euclid-Omni : A Unified Neuro-Symbolic Framework for Plane Geometry
Zhaoyu Li, Hangrui Bi, Youyuan Zhang +5
Euclidean geometry is a compelling testbed for AI reasoning, as it demands the combination of intuitive diagram understanding, axiomatic deduction, and algebraic computation. Yet,…
cs.LG2026
CuTeGen: An LLM-Based Agentic Framework for Generation and Optimization of High-Performance GPU Kernels using CuTe
Tara Saba, Zhiyang Chen, Jikai Jason Li +3
High-performance GPU kernels are critical to modern machine learning systems, yet developing them remains a manual, expert-driven process. Recent work has explored using LLMs to au…