smt

介绍了一种基于SMT的流程，用于从输入模式合成迷宫求解路径，并构建平面和3D迷宫结构。扩展了一篇会议论文，提供了详细的构建方法和SMT-LIB示例。

本文介绍了可验证Transformer（Verifiable Transformers），这是一个将任务局部化的Transformer电路转换为有界的、求解器可验证的声明框架，从而能够对功能等价性、边必要性及鲁棒性等属性进行形式化验证。