Ishay, Adam

1. NeurASP: Embracing Neural Networks into Answer Set Programming
   2023/07/15 by Zhun Yang, Yang, Zhun, Adam Ishay +3 · 1 voice · 18 citations
   Computer Science · #Multi-Agent Systems and Negotiation #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques
2. Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text
   2023/07/15 by Zhun Yang, Adam Ishay, Yang, Zhun +3 · 14 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Symbolic Computation (cs.SC) #Topic Modeling
3. Leveraging Large Language Models to Generate Answer Set Programs
   2023/07/15 by Adam Ishay, Ishay, Adam, Zhun Yang +3 · 10 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Testing and Debugging Techniques #Symbolic Computation (cs.SC) #Topic Modeling
4. Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer
   2023/07/10 by Zhun Yang, Adam Ishay, Yang, Zhun +3 · 5 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #Data Visualization and Analytics #FOS: Computer and information sciences #Machine Learning (cs.LG)
5. LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions
   2025/01/01 by Adam Ishay, Ishay, Adam, Joohyung Lee +1 · 5 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Semantic Web and Ontologies