Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis

Documenti analoghi

• Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
  di: Murphy, William, et al.
  Pubblicazione: (2024)
• Statically Inferring Usage Bounds for Infrastructure as Code
  di: Qiao, Feitong, et al.
  Pubblicazione: (2024)
• Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
  di: Lanzinger, Florian, et al.
  Pubblicazione: (2024)
• A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
  di: Wang, Zhongyi, et al.
  Pubblicazione: (2025)
• Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
  di: Rothkopf, Raven, et al.
  Pubblicazione: (2024)