@misc{indiciaeb36f8932dd67,
  title = {Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables},
  author = {Jian Gu and Harald C. Gall},
  year = {2023},
  doi = {10.1145/3611643.3613076},
  url = {https://arxiv.org/abs/2209.01566},
  note = {Source identifier: 2209.01566}
}