Amazon Web Services Automated Reasoning Checks Team, New York, USA.
School of Computer Science, University of Leeds, Alan Turing Institute, UK.
Department of Computer Science, University of California, Irvine, USA.
Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey.
Institute for the Advanced Enterprise AI, New York, USA.
Department of Computer Science, Northwestern University, Evanston, USA.
University of Dayton Research Institute, University of Dayton, Dayton, Ohio, USA.
Department of Computer Science, Stanford University, Stanford, USA.
Institute of Creative Technologies, University of Southern California, Los Angeles, California, USA.
Defense Advanced Research Projects Agency, Arlington, USA.
Department of Computer Science, University of Texas, Dallas, USA.
Department of Computer Science, Rensselaer Polytechnic Institute (RPI), Troy, USA.
Bakar Computational Health Sciences Institute, University of Califor- nia, San Francisco, California, USA.
Department of Chemical, Biochemical and Environmental Engineer- ing, University of Maryland, Baltimore County, Baltimore, USA.
Education Testing Service, Princeton, USA.
Department of Computer Science, University of Nebraska, Omaha, USA.
Department of Computer Science, University of Texas at Austin, Austin, USA.
Cynch.AI, San Francisco, USA.
Department of Computer Science, Kansas State University, Manhattan, Kansas, USA.
SRI International, Washington, District of Columbia, USA.
Carnegie Bosch Institute, Carnegie Mellon University, Bosch Research and Technology Center, Pittsburgh, Pennsylvania, USA.
Third Ear, San Francisco, California, USA.
Department of Computer Science, University of Pennsylvania, Oracle, Philadelphia, USA.
Cycorp, Austin, Texas, USA.
Department of Computer Science and Engineering, Wright State University, Dayton, Ohio, USA.
Wikimedia Foundation, Stuttgart, Baden-Wurttemberg, Germany.
University of Pennsylvania, Philadelphia, USA.
Department of Computer Science, University of Auckland, Auckland, New Zealand.
John Wiley & Sons, 2025. Vol. 46, no 4, article id e70035