实体
Ting Zhang
Ting Zhang
PulseAugur coverage of Ting Zhang — every cluster mentioning Ting Zhang across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
GeoLoom generates geometric diagrams from text using formal language
Researchers have developed GeoLoom, a new framework designed to generate high-quality geometric diagrams from textual descriptions. This system translates natural language into a formal language called GeoLingua, which …
-
LLMs 使用图先验预测几何定理，无需梯度下降
研究人员开发了一种使用大型语言模型（LLMs）预测几何定理的新方法，无需梯度优化。他们的方法称为定理优先图（Theorem Precedence Graphs），将历史解决方案中的时间依赖性编码到有向图中，以指导 LLM 的搜索并克服称为结构漂移的可扩展性问题。该技术使 LLMs 能够充当结构化规划器，在 FormalGeo7k 基准测试上达到 89.29% 的准确率，可与最先进的监督模型相媲美。