works on

From the 1 of 10 linked papers with an AI index.

collaborators

10 papers

cs.AI2026

A Model-Free Universal AI

Yegon Kim, Juho Lee

The paper proposes AIQI, a model-free reinforcement learning agent that uses universal induction over action-value functions and is proven to be asymptotically epsilon-optimal.

cs.LG2026

From Drift to Coherence: Stabilizing Beliefs in LLMs

SongEun Kim, Seungyoo Lee, Edwin Fong +2

Large language models (LLMs) are often hypothesized to perform implicit Bayesian inference, yet a key coherence condition, the martingale property of predictive beliefs, has been s…

cs.AI2026

Mitigating Legibility Tax with Decoupled Prover-Verifier Games

Yegon Kim, Juho Lee

As large language models become increasingly capable, it is critical that their outputs can be easily checked by less capable systems. Prover-verifier games can be used to improve…

cs.CR2026

Parallel Test-Time Scaling with Multi-Sequence Verifiers

Yegon Kim, Seungyoo Lee, Chaeyun Jang +2

Parallel test-time scaling, which generates multiple candidate solutions for a single problem, is a powerful technique for improving large language model performance. However, it i…

cs.LG2025

Compact Memory for Continual Logistic Regression

Yohan Jung, Hyungi Lee, Wenlong Chen +4

Despite recent progress, continual learning still does not match the performance of batch training. To avoid catastrophic forgetting, we need to build compact memory of essential p…

cs.IR2025

Reliable Decision Making via Calibration Oriented Retrieval Augmented Generation

Chaeyun Jang, Deukhwan Cho, Seanie Lee +2

Recently, Large Language Models (LLMs) have been increasingly used to support various decision-making tasks, assisting humans in making informed decisions. However, when LLMs confi…