Picture for Joohyung Lee

Joohyung Lee

Arizona State University

Fuzzy Propositional Formulas under the Stable Model Semantics

Add code
Jun 15, 2025
Viaarxiv icon

LPMLN, Weak Constraints, and P-log

Add code
Jun 15, 2025
Viaarxiv icon

Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering

Add code
Jun 12, 2025
Viaarxiv icon

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers

Add code
Jun 12, 2025
Viaarxiv icon

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions

Add code
Jan 01, 2025
Viaarxiv icon

Game-Theoretic Joint Incentive and Cut Layer Selection Mechanism in Split Federated Learning

Add code
Dec 10, 2024
Viaarxiv icon

Compact and De-biased Negative Instance Embedding for Multi-Instance Learning on Whole-Slide Image Classification

Add code
Feb 16, 2024
Viaarxiv icon

Exploring the Privacy-Energy Consumption Tradeoff for Split Federated Learning

Add code
Nov 15, 2023
Viaarxiv icon

Causal Laws and Multi-Valued Fluents

Add code
Jul 15, 2023
Viaarxiv icon

Elementary Sets for Logic Programs

Add code
Jul 15, 2023
Viaarxiv icon