7B级形式化推理与验证小模型，媲美满血版DeepSeek-R1，全面开源！ 下午4时 2025/03/08 作者 机器之心 大学的研究助理教授曹嘉伦，主要研究领域包括 AI&SE、人工智能测试、形式化验证等；中国科学院软件研
