43 citations · 67 across the 2 of their papers we have counts for
2 papers
cs.SE2022★ 24 cited
Interactive Code Generation via Test-Driven User-Intent Formalization
Shuvendu K. Lahiri, Sarah Fakhoury, Aaditya Naik +8
Large language models (LLMs) have shown great potential in automating significant aspects of coding by producing natural code from informal natural language (NL) intent. However, w…
hep-th2022★ 43 cited
Broken global symmetries and defect conformal manifolds
Nadav Drukker, Ziwen Kong, Georgios Sakkas
Just as exactly marginal operators allow to deform a conformal field theory along the space of theories known as the conformal manifold, appropriate operators on conformal defects…