H. Ding | 刘均 | 西安交通大学https://liujun-xjtu.github.io/zh/authors/h.-ding/H. DingHugoBlox Kit (https://hugoblox.com)zh-HansThu, 01 Jan 2026 00:00:00 +0000Reasoning step by step via a neural-symbolic geometry problem solverhttps://liujun-xjtu.github.io/zh/publication/reasoning-step-by-step-via-a-neural-symbolic-geometry-problem-solver/Thu, 01 Jan 2026 00:00:00 +0000https://liujun-xjtu.github.io/zh/publication/reasoning-step-by-step-via-a-neural-symbolic-geometry-problem-solver/GeoTree: A Dynamic Tree-based Geometry Problem Solver through LLM-Symbolic Reasoninghttps://liujun-xjtu.github.io/zh/publication/geotree-a-dynamic-tree-based-geometry-problem-solver-through-llm-symbolic-reasoning/Wed, 01 Jan 2025 00:00:00 +0000https://liujun-xjtu.github.io/zh/publication/geotree-a-dynamic-tree-based-geometry-problem-solver-through-llm-symbolic-reasoning/