Eric Mugnier, Emmanuel Anaya Gonzalez, Ranjit Jhala, Nadia Polikarpova, and Yuanyuan Zhou developed Laurel, a system that uses large language models to generate Dafny assertions, as detailed in their 2024 arXiv preprint.

Authors

• Person: Not available Organization: arXiv
  The Synergy of Symbolic and Connectionist AI in LLM-Empowered ...

Sources

• The Synergy of Symbolic and Connectionist AI in LLM-Empowered ... arxiv.org arXiv via serper
• The Synergy of Symbolic and Connectionist AI in LLM ... arxiv.org arXiv via serper

Referenced by nodes (1)

• Large Language Models concept