added two prompts for parsers

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

LLM verified with Monte Carlo Tree Search

https://arxiv.org/abs/2402.08147

MIT License

215 stars 26 forks source link

Closed shenniger closed 7 months ago

shenniger commented 7 months ago

Two slightly harder examples. I haven't managed to get either to work in Dafny, but the code generates very nice, working Scala.