排序: 最新 热门 引用
cs.LG 2205.12615

Autoformalization with Large Language Models

利用大规模语言模型实现自动形式化,达25.3%的数学题完美转化为Isabelle/HOL。

Yuhuai Wu, Albert Q. Jiang, Wenda Li 等

2022-05-25 355 引用 27
cs.CL 2205.11916

Large Language Models are Zero-Shot Reasoners

提出Zero-shot-CoT,通过简单提示显著提升LLM零-shot推理性能,MultiArith从17.7%升至78.7%。

Takeshi Kojima, Shixiang Shane Gu, Machel Reid 等

2022-05-24 40