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 |