Drug Management System Based on RFID. - Shicheng Li; Xiaoming You; Zheming Sun (DPTA, 2019)

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation. - Johannes Schmitt 002; Gergely Bérczi; Jasper Dekoninck; Jeremy Feusi; Tim Gehrunger; Raphael Appenzeller; Jim Bryan; Niklas Canova; Timo de Wolff; Filippo Gaia; Michel van Garrel; Baran Hashemi; et al. (CoRR, 2025)