PeaTMOSS: Mining Pre-Trained Models in Open-Source Software. - Wenxin Jiang 001; Jason Jones; Jerin Yasmin; Nicholas Synovic; Rajeev Sashti; Sophie Chen; George K. Thiruvathukal; Yuan Tian 008; James C. Davis 001 (CoRR, 2023)