（来源：上观新闻）
3、B↗🇵🇳rockman 👽在访谈中🚮还透露了🎵下一代基座🇸🇴预训练模型 🎺Spud 的进展🗄，他将其定义💂为凝结了大约两🏺🍽年研究积🛰♦累的全新预训练🖼底座，并🕶🕘强调这🥌📤不是在现🧔有模型上的增量改🕹进，而📜是在理解指令🇳🇺、领会语境🛤🐟和处理开🇭🇰放性问题方面的🔔质的跃🎍🇲🇳迁🖕🎵。
该学院依托复旦🙋⚓大学智能机器🇦🇹人与先进制🐩😩造创新学院，♻🥾打破传🛅统院系⛈划分，不🌍设学科边界，完👆🎛全围绕⛴🛫问题导向，汇🍘🏜聚数学、💮🕴物理、计算机、人📺🥘机交互、脑机😞接口等多领域顶🗒尖人才⛈🇵🇪。
图丨自上而下的规🔃🏏约生成新范🆗📨式（来🤼♂️源：arX🕟iv） 在推理🦊🇿🇲过程的可🥃🇳🇮靠性方🧛♂️⛅面，研究团队并不🤒是直接让 🇱🇸LLM 判断代码🖖是否正确，而🕳🧚♂️是将思🦁💍维链（Chain🌁🕖 of Th✴ought）与🚙🧩霍尔逻辑的🏕推理规则相结合💫，引导 LLM👇 逐步推导🇲🇲每个代码📠块执行后程📬序状态所满足的性🅾质，最终检🍍查程序🔹😜状态是否符合🔺“说明书”🐙的要求🐡。
