symbolic-verification

Here are 4 public repositories matching this topic...

Cmouzouni / verifier-is-all-you-need

The Verifier Is All You Need: Six Architectural Interventions That Don't Matter and the Verification Boundary That Does

program-synthesis research-paper aime humaneval cost-efficiency falsification llm-reasoning arc-agi inference-time-compute multi-agent-llm symbolic-verification verification-boundary

Updated Apr 17, 2026
TeX

BelyaevaAlex / neurosymbolic-clinical-autoformalization

Star

Typed text-to-AST parsing, symbolic verification, and selective prediction for executable quantitative clinical constraints.

semantic-parsing clinical-nlp neuro-symbolic constrained-decoding autoformalization symbolic-verification mathnlp

Updated Aug 4, 2026
Python

OmarAyman2005 / Bachelor_Verifiable_LLM_Explanations

Star

Bachelor thesis project artifacts for verifiable explanations generation for LLM reasoning.

bachelor-thesis reasoning llm explanation-verification ollama langgraph symbolic-verification

Updated Jun 21, 2026
Python

QWED-AI / qwed-verification-action

Sponsor

Star

Deterministic witness for your CI pipeline. Verify LLM outputs with Z3/SymPy. Scan secrets, code, and shell scripts. SARIF output for GitHub Security.

security ci-cd z3 sympy deterministic code-scanning hallucination github-actions secret-scanning github-marketplace llm-security ai-verification agent-security symbolic-verification

Updated Aug 13, 2026

Add this topic to your repo

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

Learn more