微信扫码实时跟踪AI前沿
大型语言模型(LLMs)在代码生成领域已取得显著成就,但其输出仍常因缺乏形式化约束而出现编译错误。针对这一挑战,研究者提出了一种创新的类型约束解码方法,通过类型系统引导代码生成。该研究开发了新型前缀自动机...
由Tianyi实验室发布的C3PO项目在GitHub开源了一种创新的测试时优化技术,该技术通过基于相似参考样本重新混合专家权重,显著提升了混合专家(Mixture-of-Experts,MoE)大语言模型的准确性。这一突破性方法不仅优化...