@Misc{            gauthier2023mathematical,
  Author        = "Gauthier, Thibault and Brown, Chad E. and Janota, Mikolas and Urban, Josef",
  ArchivePrefix = "arXiv",
  date-added    = "2023-04-08 07:26:08 +0200",
  date-modified = "2023-04-08 07:26:08 +0200",
  EPrint        = "2304.02986",
  PrimaryClass  = "cs.LO",
  Title         = "A Mathematical Benchmark for Inductive Theorem Provers",
  Year          = "2023",
  File          = "A Mathematical Benchmark for Inductive Theorem Provers - 2304.02986.pdf"
}

@Misc{ gauthier2023mathematical, Author = "Gauthier, Thibault and Brown, Chad E. and Janota, Mikolas and Urban, Josef", ArchivePrefix = "arXiv", date-added = "2023-04-08 07:26:08 +0200", date-modified = "2023-04-08 07:26:08 +0200", EPrint = "2304.02986", PrimaryClass = "cs.LO", Title = "A Mathematical Benchmark for Inductive Theorem Provers", Year = "2023", File = "A Mathematical Benchmark for Inductive Theorem Provers - 2304.02986.pdf" }