kGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution - Mathai, Alex; Huang, Chenxi; Maniatis, Petros; Nogikh, Aleksandr; Ivančić, Franjo; Yang, Junfeng; Ray, Baishakhi (Advances in Neural Information Processing Systems, 2024)