TY - RPRT TI - Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables AU - Jian Gu AU - Harald C. Gall PY - 2023 DO - 10.1145/3611643.3613076 UR - https://arxiv.org/abs/2209.01566 ID - 2209.01566 ER -