实体 Socratic

Socratic

PulseAugur coverage of Socratic — every cluster mentioning Socratic across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_159520 · Jul 23 · 12:40

助产式提示使用基于树的推理来审计LLM逻辑

一种名为助产式提示的新提示技术，受苏格拉底法的启发，旨在通过构建一个可审计的解释树而非线性链来改进LLM的推理。该方法包括将一个命题递归地解释为真和假，识别前提，然后评估每个主张的逻辑完整性。通过构建一致性图并求解最大可满足性（MAX-SAT），识别并修剪矛盾，留下一个逻辑上一致的子树，该子树代表模型经过审计的推理答案。