In 2025, Kambhampati’s lab replaced correct reasoning traces with incorrect ones without reducing formal reasoning performance. Correct-trace training still produced invalid records.

In 2025, Kambhampati’s lab replaced correct reasoning traces with incorrect ones without reducing formal reasoning performance. Correct-trace training still produced invalid records.

More from this article

See all →

Don't lose this one

A free account saves cards like this to your Collection, and Korva resurfaces them so you actually remember.