BriefGPT.xyz
Ask
alpha
关键词
llm queries
搜索结果 - 1
一种语言代理方法用于形式证明
使用大型语言模型和 COPRA 方法进行定理证明中的策略选择和反馈建议,相较于 GPT-4 和现有模型,在快速找到正确证明方面取得显著好处。
PDF
10 months ago
Prev
Next