Showing cs.AIShow all
2 papers · 1 filter
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.AI2026
A Model-Free Universal AI
Yegon Kim, Juho Lee
In general reinforcement learning, all established optimal agents, including AIXI, are model-based, explicitly maintaining and using environment models. This paper introduces Unive…