63 citations · 119 across the 19 of their papers we have counts for
1 paper · 1 filter
Rajan Maghera, Asher Tempest Arya, Aren A. Babikian +2
Large language models (LLMs) are increasingly used for code generation, motivating techniques that guarantee the structural and semantic correctness of generated programs. Constrai…