15 citations · 17 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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.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,…