symbolic-execution

Soteria Rust是一个用于验证Rust程序的符号执行工具，它使用OCaml的垃圾回收器来管理其Tree Borrows别名模型的内存，实现了10倍的加速，并将时间复杂度从二次降低到线性。

本文提出了一种迹监督的符号神经CPU架构，结合循环控制、显式操作路由器和掩码寄存器回写，实现了可审计、可解释的程序执行，并通过量化模拟回写保留了符号操作路径。

ARCANA是一个反射式多智能体框架，将ARC-AGI-2抽象推理任务分解为迭代感知、假设生成、符号执行和反射精炼，在严格约束下提升推理效率。