Picture for Joohyung Lee

Joohyung Lee

Arizona State University

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

Add code
Jul 15, 2023
Viaarxiv icon

Leveraging Large Language Models to Generate Answer Set Programs

Add code
Jul 15, 2023
Viaarxiv icon

NeurASP: Embracing Neural Networks into Answer Set Programming

Add code
Jul 15, 2023
Viaarxiv icon

On Loop Formulas with Variables

Add code
Jul 15, 2023
Viaarxiv icon

First-Order Stable Model Semantics with Intensional Functions

Add code
Jul 15, 2023
Figure 1 for First-Order Stable Model Semantics with Intensional Functions
Viaarxiv icon

Intuitive Access to Smartphone Settings Using Relevance Model Trained by Contrastive Learning

Add code
Jul 15, 2023
Viaarxiv icon

Safe Formulas in the General Theory of Stable Models

Add code
Jul 15, 2023
Viaarxiv icon

Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer

Add code
Jul 10, 2023
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

Injecting Logical Constraints into Neural Networks via Straight-Through Estimators

Add code
Jul 10, 2023
Viaarxiv icon

Learning Missing Modal Electronic Health Records with Unified Multi-modal Data Embedding and Modality-Aware Attention

Add code
May 04, 2023
Viaarxiv icon