（来源：上观新闻）
例如对于编译器🃏ℹ CCC，FM🤸♂️💻-Age🙆📺nt 会生成 🥿C 程⏳🚴♀️序作为测试用👨👧👦🧼例，并将 C💄CC 的编译结👨👩👧👧🏌️♀️果与参考实📽🔡现（例如 GC😢🔃C）比较🤓。这种引导的强👯♂️🤬度会随🤸♂️着生成🚽步骤的推进🇲🇱逐渐减弱🔲💟——在生成初期（🇧🇧决定物体布局📻👟的阶段）引导🧧🈁力度最强，📓在生成🥭后期（打磨✡细节的阶📢🇳🇵段）引导力度最🇺🇲🇳🇺轻，让A🔦🤸♀️I有足够的自由度🥌🆎来呈现自然的视⛩🚂觉质感💷🦏。
图丨自上而下的🙁🛢规约生成新⛵范式（来源：a🇩🇿🍩rXiv） 在推🎫理过程的可🇶🇦🍱靠性方面，研究🦑🍩团队并🐣🚾不是直接让🧖♀️ LLM 判断代🦠码是否✡正确，而是将思维🏔链（Chai🚨n of T🚌⭐hought）与🤨🇵🇱霍尔逻辑🥰🐆的推理规则相🇭🇳🧿结合，引导 L🇬🇦LM 逐步推🔔🚶导每个代码块执📔🕟行后程序状态所满😅🇮🇴足的性🔩💙质，最🇻🇦终检查🇧🇳🛌程序状态是🧘♂️否符合“说明🍴👵书”的🖊要求🌧。
