Alert button
Picture for Zhun Yang

Zhun Yang

Alert button

Leveraging Large Language Models to Generate Answer Set Programs

Add code
Bookmark button
Alert button
Jul 15, 2023
Adam Ishay, Zhun Yang, Joohyung Lee

Figure 1 for Leveraging Large Language Models to Generate Answer Set Programs
Figure 2 for Leveraging Large Language Models to Generate Answer Set Programs
Figure 3 for Leveraging Large Language Models to Generate Answer Set Programs
Figure 4 for Leveraging Large Language Models to Generate Answer Set Programs
Viaarxiv icon

NeurASP: Embracing Neural Networks into Answer Set Programming

Add code
Bookmark button
Alert button
Jul 15, 2023
Zhun Yang, Adam Ishay, Joohyung Lee

Figure 1 for NeurASP: Embracing Neural Networks into Answer Set Programming
Figure 2 for NeurASP: Embracing Neural Networks into Answer Set Programming
Figure 3 for NeurASP: Embracing Neural Networks into Answer Set Programming
Figure 4 for NeurASP: Embracing Neural Networks into Answer Set Programming
Viaarxiv icon

Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

Add code
Bookmark button
Alert button
Jul 15, 2023
Zhun Yang, Adam Ishay, Joohyung Lee

Figure 1 for Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text
Figure 2 for Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text
Figure 3 for Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text
Figure 4 for Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text
Viaarxiv icon

Injecting Logical Constraints into Neural Networks via Straight-Through Estimators

Add code
Bookmark button
Alert button
Jul 10, 2023
Zhun Yang, Joohyung Lee, Chiyoun Park

Viaarxiv icon

Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer

Add code
Bookmark button
Alert button
Jul 10, 2023
Zhun Yang, Adam Ishay, Joohyung Lee

Figure 1 for Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer
Figure 2 for Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer
Figure 3 for Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer
Figure 4 for Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer
Viaarxiv icon

Extending Answer Set Programs with Neural Networks

Add code
Bookmark button
Alert button
Sep 22, 2020
Zhun Yang

Figure 1 for Extending Answer Set Programs with Neural Networks
Figure 2 for Extending Answer Set Programs with Neural Networks
Figure 3 for Extending Answer Set Programs with Neural Networks
Viaarxiv icon

Translating LPOD and CR-Prolog2 into Standard Answer Set Programs

Add code
Bookmark button
Alert button
May 02, 2018
Joohyung Lee, Zhun Yang

Viaarxiv icon