| 2:00PM | NLP for Analyzing Mental Health Issues among College Students using Reddit Data |
| 2:20PM | Circular Coordinates for Visual Machine Learning |
| 2:40PM | Formalizing Mathematics in Lean |
| 3:00PM | Generalized Lattice Point Visibility |
| 3:40PM | Multifidelity Modeling for Rarefied Gas Kinetics |
| 4:00PM | An Androgen-Dependent Mathematical Model of the Menstrual Cycle |
| 4:20PM | Pinned Billiard Balls in Half-Space and on a Flat Torus |
| 4:40PM | Cosine Sign Correlation |