3 papers
cs.CV2023
Vision Transformer Pruning Via Matrix Decomposition
Tianyi Sun
This is a further development of Vision Transformer Pruning via matrix decomposition. The purpose of the Vision Transformer Pruning is to prune the dimension of the linear projecti…
cs.LG2023
Clustering US Counties to Find Patterns Related to the COVID-19 Pandemic
Cora Brown, Sarah Milstein, Tianyi Sun +1
When COVID-19 first started spreading and quarantine was implemented, the Society for Industrial and Applied Mathematics (SIAM) Student Chapter at the University of Minnesota-Twin…
math.LO2023
On the Truth Assignment Theorem of the Language of Sentential Logic
Tianyi Sun
This project contains two chapters. Chapter 2 has two sections. First, we define the well-formed formulas of the Language of Sentential Logic using Construction Sequences. Second,…