analytic geometry 1dataset creation 1diagram rendering 1formal language representation 1multimodal problem generation 1neural-symbolic systems 1
From the 1 of 3 linked papers with an AI index.
3 papers
cs.AI2026
FormalAnalyticGeo: A Neural-Symbolic Based Framework for Multimodal Analytic Geometry Problem Generation
Ruoran Xu, Wending Gao, Qiufeng Wang +1
The paper presents FormalAnalyticGeo, a neural‑symbolic framework that automatically generates multimodal analytic geometry problems by converting free‑form text into a formal desc…
cs.CV2026
Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
Ruoran Xu, Haoyu Cheng, Bin Dong +1
Geometric problem solving, as a typical multimodal reasoning problem, has attracted much attention and made great progress recently, however most of works focus on plane geometry w…
cs.LG2026
Singularity-aware Optimization via Randomized Geometric Probing: Towards Stable Non-smooth Optimization
Ruoran Xu, Borong She, Xiaobo Jin +1
Deep learning optimization relies heavily on the assumption of smooth loss landscapes, a condition systematically violated by modern architectures due to non-smooth components such…