技术博客

近日，香港科技大学联合中国科学院软件研究所、西安电子科技大学及重庆大学等机构，共同发布了一款小型形式化推理与验证模型。该模型参数规模仅为7B，却在相关任务上的表现媲美671B参数的DeepSeek-R1完整版。这一成果不仅彰显了高校合作的力量，也标志着参数精简技术的重大突破。此外，该模型已全面开源，为学术界和工业界提供了宝贵的研究工具。