大型语言模型（LLMs）在代码生成领域已取得显著成就，但其输出仍常因缺乏形式化约束而出现编译错误。针对这一挑战，研究者提出了一种创新的类型约束解码方法，通过类型系统引导代码生成。该研究开发了新型前缀自动机...

由Tianyi实验室发布的C3PO项目在GitHub开源了一种创新的测试时优化技术，该技术通过基于相似参考样本重新混合专家权重，显著提升了混合专家（Mixture-of-Experts，MoE）大语言模型的准确性。这一突破性方法不仅优化...