From probabilistic models to verified outputs从概率模型走向可验证输出
The company says large language models are useful but insufficient for mission-critical semiconductor work. Its neuroformal approach combines generative proposals with symbolic verification.公司表示,大型语言模型虽有用,但不足以独立承担关键任务型半导体工作。其神经形式化方法将生成式方案与符号验证结合起来。
- Nitta described the approach as algorithms proposing while symbolic AI verifies.Nitta 将这种方法概括为由算法提出方案、由符号人工智能进行验证。
- The objective is to produce outputs that engineers can rely on for mission-critical applications.该方法的目标是生成工程师能够用于关键任务型应用的输出。