Ram Bharadwaj comments on ARC’s first technical report: Eliciting Latent Knowledge

[Ram Bharadwaj]

From a complexity theoretic viewpoint, how hard could ELK be? is there any evidence that ELK is decidable?