AutoRocq: Agentic Theorem Prover for Verification

新加坡国立大学推出了名为AutoRocq的代理定理证明器，用于验证，旨在提高验证过程的效率和准确性。