倉庫議題
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.
此倉庫沒有已關閉的已索引議題。