Goedel-Prover（哥德尔证明器）是普林斯顿大学、清华大学、清华大学等机构推出一个专门设计用于自动化定理证明的大型语言模型。
本文采用 CC BY-NC 4.0 许可协议。商业转载、引用请联系本站获得授权，非商业转载、引用须注明出处。
链接：https://appmark.cn/sites/goedel-prover.html -APPMARK
Goedel-Prover（哥德尔证明器）是普林斯顿大学、清华大学、清华大学等机构推出一个专门设计用于自动化定理证明的大型语言模型。
本文采用 CC BY-NC 4.0 许可协议。商业转载、引用请联系本站获得授权，非商业转载、引用须注明出处。
链接：https://appmark.cn/sites/goedel-prover.html -APPMARK
BloombergGPT 是一个专为金融行业设计的 500 亿参数大语言模型，经过大量金融数据训练，擅长金融 NLP 任务。模型在金融任务上的表现优越，计划集成到 Bloomberg 终端中，以提升客户服务。