（来源：上观新闻）
三人都有⏩👩👧理工科背景，孙斌😘🌞毕业于成都理工大👨👩👦学信息工程专🇲🇴业，陈妙波毕业于⌚🤱燕山大学📙计算机科学与技术🎸🍜专业，王涛则毕业🔳🇨🇨于南京⛹️♀️🍭理工大学机🏰械设计制造及其自📀🥐动化专业🏌。
这就是我们😮这么做的原🌏因🦸♂️🚿。”沈阳教授觉得🏗🏉“能不能借助🌻0️⃣AI挖掘出成❄📰都在内的四🏭🇧🇪川文化的品😠位”至⛎关重要🌱🥤。有点左右脑互🏀🎤搏内味了👨🦲🦐。
组合式推理的基♊⛹️♀️本思想非1️⃣💟常优雅：为了💂🍼验证复杂系统的正⏹🐶确性，首🌅先把它拆🙆🏀解成一个个独立🇹🇹的小函数🚥。
