4 citations · 8 across the 5 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2023★ 2 cited
Safe Formulas in the General Theory of Stable Models
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
Safe first-order formulas generalize the concept of a safe rule, which plays an important role in the design of answer set solvers. We show that any safe sentence is equivalent, in…
cs.AI2023★ 4 cited
NeurASP: Embracing Neural Networks into Answer Set Programming
Zhun Yang, Adam Ishay, Joohyung Lee
We present NeurASP, a simple extension of answer set programs by embracing neural networks. By treating the neural network output as the probability distribution over atomic facts…
cs.AI2023
Leveraging Large Language Models to Generate Answer Set Programs
Adam Ishay, Zhun Yang, Joohyung Lee
Large language models (LLMs), such as GPT-3 and GPT-4, have demonstrated exceptional performance in various natural language processing tasks and have shown the ability to solve ce…