verifier-gated

Star

Here are 2 public repositories matching this topic...

Samielakkad / AI-Product-JakMa-Case-Study

Star

AI + Product · production case study: verifier-gated LLM retrieval in a live marketplace (jak.ma)

production case-study darija morocco low-resource-nlp llm pm-portfolio grounded-retrieval jakma verifier-gated

Updated May 30, 2026

Mnehmos / mathcorpus

Star

MathCorpus — a verifier-gated, provenance-complete, curriculum-shaped mathematics corpus for training theorem-proving agents. Every proof kernel- or certificate-checked; every item hash-pinned; every export trust/redaction-governed.

machine-learning theorem-proving dataset formal-mathematics training-data mathlib lean4 verifier-gated

Updated Jul 23, 2026
Lean

Improve this page

Add a description, image, and links to the verifier-gated topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

verifier-gated

Here are 2 public repositories matching this topic...

Samielakkad / AI-Product-JakMa-Case-Study

Mnehmos / mathcorpus

Improve this page

Add this topic to your repo