AI资讯新闻榜单内容搜索-UIUC

关键词: LLM,Transformer,AI学术,AI科研

在软件工程顶会ESEC/FSE上，来自马萨诸塞大学、谷歌和伊利诺伊大学厄巴纳-香槟分校（UIUC）的研究人员发表了新的成果，使用LLM解决自动化定理证明问题。

关键词: LLM,UIUC,大模型训练

如果语言模型是巫师，代码预训练就是魔杖！

关键词: 大模型训练,Medusa,AI推理,模型推理

去年，在加速大语言模型推理层面，我们迎来了一个比推测解码更高效的解决方案 —— 普林斯顿、UIUC 等机构提出的 Medusa。如今，关于 Medusa 终于有了完整技术论文，还提供了新的版本。

关键词: Magicoder,代码大模型,chatGPT

全新代码大模型Magicoder，不到7B参数，就能在代码生成领域与顶级代码模型不相上下。

关键词: GitHub Copilot,7B代码小模型,DeepSeek-Coder

软件开发人员对代码生成 AI 已经不陌生，它们已经成为提高生产力的利器。本文中，伊利诺伊大学香槟分校（UIUC）张令明老师团队带来了代码生成 AI 领域的又一力作 ——Magicoder，在短短一周之内狂揽 1200 多颗 GitHub Star，登上 GitHub Trending 日榜，并获推特大佬 AK（@_akhaliq）发推力荐。