（来源：上观新闻）
图丨自上而🇻🇳🤞下的规约生成🏷🛰新范式（来源🌫：arXi🤟v） 在推理过程📲的可靠性🗻🗯中文不一卡的一二三四区方面，研究团🇲🇸👨🦳队并不是💞直接让 LL🌃M 判断代码是🏦否正确，而👱是将思👨👧👦🤼♀️维链（Cha🏷in 🧾📀of Thoug🕹ht）👩🏫◽与霍尔🧺🛡逻辑的推💻理规则相结合，🤼♀️💄引导 LLM🧮 逐步🕋推导每个代码块执🍡🧳行后程序状态🇸🇮所满足🇮🇶的性质，最终🏴⏏检查程序状态是否👢🇲🇱符合“说明书”的↙🇲🇲要求👉🍩。
插一句🥼🧝♂️题外话：产品经🏭理到底写不写👩👩👦代码，💕🌇其实还挺有🙈🇲🇨意思的👩👩👧👧。他在Arti😡sanal P🎡🇪🇪odcast👑里说："他们为👩🦳什么留下来？🇰🇲因为有一笔交易🥟，一笔清💃楚的交易：我帮👨💻🏃你找有意思的工作📇，公平付你薪🏷🅰水，照顾你和你的🐯⛺家庭；你回报💱⭕我的，是全力以↙👨🦰赴🥀。
