15 citations · 17 across the 3 of their papers we have counts for
3 papers
cs.AI2026
High Quality Embeddings for Horn Logic Reasoning
Yifan Zhang, Yasir White, Dean Clark +4
Neural networks can be trained to rank the choices made by logical reasoners, resulting in more efficient searches for answers. A key step in this process is creating useful embedd…
cs.SE2022★ 15 cited
Repair Is Nearly Generation: Multilingual Program Repair with LLMs
Harshit Joshi, José Cambronero, Sumit Gulwani +3
Most programmers make mistakes when writing code. Some of these mistakes are small and require few edits to the original program -- a class of errors recently termed last mile mist…
cs.AI2022★ 2 cited
CORNET: Learning Table Formatting Rules By Example
Mukul Singh, José Cambronero, Sumit Gulwani +4
Spreadsheets are widely used for table manipulation and presentation. Stylistic formatting of these tables is an important property for both presentation and analysis. As a result,…