实体 DeepEye

DeepEye

PulseAugur coverage of DeepEye — every cluster mentioning DeepEye 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_300750 · Oct 15 · 04:00

VeriPIE框架通过可验证的查询计划增强文本到SQL

研究人员开发了VeriPIE，一个旨在提高文本到SQL系统准确性和透明度的新型神经符号框架，特别适用于金融应用。该框架将语言模型生成与符号检查相结合，使用一种名为QuerySketch的结构化计划语言，并由定理证明器进行验证。VeriPIE通过暴露格式错误的计划并突出显示分歧，旨在提供可审查的生成计算证据，从而支持更安全的金融分析。