Generative language modeling for automated theorem proving 来自 OpenAI News · 2020-09-07 LLM推理 Prompt工程 思维链 Transformer 在 OpenAI News 阅读全文 →