形式化语言

Hilbert-Geo：以神经符号推理求解立体几何问题

Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning

把几何图形解析成形式化谓词（CDL）再交给定理库做可验证推理，这条「视觉解析→符号推理」的流水线可直接迁移到图表理解、几何题求解等需要严格可验证输出的多模态任务上。