HongyuHe/LeJIT

📐 Just-in-time logic enforcement for network data generation with LLMs

语言：Clojure · GitHub 星标：19 · Fork：0

话题：constrained-decoding · formal-verification · llms · model-checking

在 GitHub 上查看原仓库