（来源：上观新闻）
这套组🌞合的效🇱🇾果，E㊙🏩R 1.5的🇵🇬仪表识别成功🍃🇩🇿率是23%，加🚶♀️🇿🇲上Agent🔑ic Visi🐊🗺on之后🕢，ER 1🚴🥽.6达到了9💖3%👳♀️👩🦱。
（来源：🍦arX💐🐱iv） 如下图📡所示，⬅👿FM-Ag💅🌸ent 提🇧🇦📠出了一种创新🇫🇲🛠的自上而下规🐾约生成范式：🧩👨👩👧👧从用户🏤对系统整体正确🕴😃行为的期🗳⏲望出发，逐步推导😓🌹出每个函数应💰🇪🇷满足的🇩🇬🥐规约🇱🇾。
图丨基于🇻🇳自然语言📪📽的代码正确性🕡🇹🇷推理示例（📲🍛来源：arXi🎪⌨国产成人91精品观看v） 如上图所示🔋🕛，FM-🚮国产成人91精品观看Agent 逐◻🇵🇰段推理🇫🇮代码执行后🎨的程序状态描述（🇵🇸👧注释部分），即🇳🇬🇨🇭后置条件，一🆓🛰直推理到函数返🇸🇮🤽♀️回，检查最终的🦜程序状态描述是否🦄违背了规约里对👩⚕️🌾最终程序状态🔏🇪🇹的要求👆。
