3 ms·LLM Code Generation with Formal Specifications and Reactive Program Synthesis1 points by sandwichsphinx 2y ago