TY  - RPRT
TI  - Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
AU  - William Murphy
AU  - Nikolaus Holzer
AU  - Feitong Qiao
AU  - Leyi Cui
AU  - Raven Rothkopf
AU  - Nathan Koenig
AU  - Mark Santolucito
PY  - 2024
UR  - https://arxiv.org/abs/2410.19736
ID  - 2410.19736
ER  -