Topic

Dafny

3 items across the graph — tagged with Dafny.

From the graph · 3

repo
namin/llm-verified-with-monte-carlo-tree-search

LLM verified with Monte Carlo Tree Search

→repo
midspiral/LemmaScript

verification toolchain for TypeScript (Tech Preview)

→repo
metareflection/claimcheck

Dafny verifies proofs; claimcheck confirms intent.

→

Related topics

dafny 3llm 3verification 2lean 2ai 2typescript 1synthesis 1coq 1lemmascript 1fact-checking 1lean4 1monte-carlo-tree-search 1
Search Dafny →All topics →