Korva rescues the ideas worth keeping from podcasts. Each one becomes a Card.
In 2025, Kambhampati’s lab replaced correct reasoning traces with incorrect ones without reducing formal reasoning performance. Correct-trace training still produced invalid records.
Don't lose this one.
Save this Card and explore the idea further in Korva.