仓库议题
yogthos/veriframe
An OpenAI-compatible bridge that anchors LLM reasoning in logical reality by using Z3 to incrementally verify, self-correct, and prove the uniqueness of SMT-encoded solutions.
议题
此仓库没有开放的已索引议题。
仓库议题
An OpenAI-compatible bridge that anchors LLM reasoning in logical reality by using Z3 to incrementally verify, self-correct, and prove the uniqueness of SMT-encoded solutions.
此仓库没有开放的已索引议题。