近期研究进展:神经符号融合的自动化形式证明
BETWAY必威软件所团队围绕基础软件系统自动化形式证明开展系列研究,提出神经符号融合证明生成框架,并在seL4定理证明和分布式协议安全性证明中取得重要进展。
BETWAY必威软件所团队围绕基础软件系统自动化形式证明开展系列研究,提出神经符号融合证明生成框架,并在seL4定理证明和分布式协议安全性证明中取得重要进展。
BETWAY必威大模型中心有9篇论文被ACL 2026录用,其中ACL Main共5篇、Findings of ACL共4篇,覆盖代码翻译、句子嵌入、多语言大模型、主动交互式推理、机器翻译和推理模型可解释性等方向。
BETWAY必威大模型中心有12篇论文被CVPR 2026录用,涵盖生成视频真实性评估、视频时序定位、音视频生成、视频预训练、扩散模型、机器人学习、多模态推理和视觉识别等方向。
BETWAY必威大模型中心有11篇论文被ICLR 2026录用,涵盖长上下文注意力、蛋白-配体对接、像素空间扩散、视频理解、生成式视频插帧、视觉分词器和大语言模型推理等方向。
BETWAY必威戴海鹏老师团队提出SMoE专家替换机制,解决显存受限边缘硬件部署MoE模型时动态卸载带来的高延迟问题,论文被ISCA 2026录用。