文章
2024-09-02
来自：开发者社区
CMU清华教LLM练成数学高手，LeanSTaR训练模型边思考边证明，登顶新SOTA
近期，卡内基梅隆大学（CMU）和清华大学的研究人员在人工智能领域取得了一项重要突破，他们成功训练了一个语言大模型（LLM），使其能够像人类数学家一样进行思考和证明。这项研究成果名为LeanSTaR，它通过结合形式化验证和机器学习技术，在数学证明任务上取得了新的SOTA&#...
文章
2024-08-24
来自：开发者社区
CMU&清华新作：让LLM自己合成数据来学习，特定任务性能同样大幅提升
近年来，大型语言模型（LLMs）在解决各种任务方面展现出了巨大的潜力，尤其是当它们被提供适当的自然语言提示时。然而，尽管LLMs在许多任务上取得了令人印象深刻的性能，但它们在特定任务上的表现往往不如经过大量特定数据微调的模型。 为了解决这个问题，来自卡内基梅隆大学（CMU）...
本页面内关键词为智能算法引擎基于机器学习所生成，如有任何问题，可在页面下方点击"联系我们"与我们沟通。