M
MODELYST
AI research terminal
●
live · verified Jul 13
Search
⌘K
Frontier
Models
Compare
Leaderboards
Changes
Media
Benchmarks
Papers
Pick
Discover
Ask
Frontier
Models
Compare
Leaderboards
Changes
Media
Benchmarks
Papers
Pick
Discover
Ask
People
/
Joohyung Lee
PPL
Joohyung Lee
☆ Watch
Papers (4)
TreeText-CTS: Compact, Source-Traceable Tree-Path Evidence for Irregular Clinical Time-Series Prediction
Cplus2ASP: Computing Action Language C+ in Answer Set Programming
Functional Stable Model Semantics and Answer Set Programming Modulo Theories
Weighted Rules under the Stable Model Semantics