@misc{indiciaeb580e8a68dde,
  title = {DECOVALEX-2023: Task F1 Final Report},
  author = {Mariner, Paul and Leone, Rosie and Stein, Emily and Thiedau, Jan and Morel, Carlos Guevara and Li, Zhenze and Nguyen, Son and Kim, Jung-Woo and Kim, Yong-Min and Lee, Jaewon and Kim, Minjeong and Hyman, Jeffrey and Chang, Chieh-Chun and Shen, Yi-Hsiang and Chang, Hao-Ting and Briggs, Scott and Březina, Jan and Osuji, Nicholas Izuchukwu},
  year = {2024},
  doi = {10.2172/2481307},
  url = {https://www.osti.gov/biblio/2481307},
  note = {Source identifier: 2481307}
}