Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems. - André Greiner-Petter; Howard S. Cohl; Abdou Youssef; Moritz Schubotz; Avi Trost; Rajen Dey; Akiko Aizawa; Bela Gipp (TACAS (1), 2022)

Learning to Generate Instruction Tuning Datasets for Zero-Shot Task Adaptation. - Nihal V. Nayak; Yiyang Nan; Avi Trost; Stephen H. Bach (ACL (Findings), 2024)

R&B: Domain Regrouping and Data Mixture Balancing for Efficient Foundation Model Training. - Albert Ge; Tzu-Heng Huang; John Cooper; Avi Trost; Ziyi Chu; Satya Sai Srinath Namburi GNVV; Ziyang Cai; Kendall Park; Nicholas Carl Roberts; Frederic Sala (CoRR, 2025)