Topic

Coq

2 items across the graph — tagged with Coq.

From the graph · 2

model
coqui/XTTS-v2

Hugging Face model with 3740 likes. Tags: coqui, text-to-speech, license:other, region:us

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

LLM verified with Monte Carlo Tree Search

→

Related topics

verification 1region:us 1text-to-speech 1coqui 1llm 1license:other 1monte-carlo-tree-search 1lean 1dafny 1synthesis 1coq 1ai 1
Search Coq →All topics →