Artificial Expert Intelligence through PAC-reasoning. - Shai Shalev-Shwartz; Amnon Shashua; Gal Beniamini; Yoav Levine; Or Sharir; Noam Wies; Ido Ben-Shaul; Tomer Nussbaum; Shir Granot Peled (CoRR, 2024)

FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming. - Gal Beniamini; Yuval Dor; Alon Vinnikov; Shir Granot Peled; Or Weinstein; Or Sharir; Noam Wies; Tomer Nussbaum; Ido Ben-Shaul; Tomer Zekharya; Yoav Levine; Shai Shalev-Shwartz; et al. (CoRR, 2025)