integer-relations

Here is 1 public repository matching this topic...

ShannonBohle / loopverify

A loop-plus-verifier agent framework with a pluggable generator. Verifies candidate answers for closed-form and witness math problems and refuses false positives. Bring your own generator (Ollama example included).

python mathematics formal-verification llm-agent ollama pslq integer-relations generate-and-verify

Updated Sep 10, 2026
Python

Add this topic to your repo

To associate your repository with the integer-relations topic, visit your repo's landing page and select "manage topics."

Learn more