3 papers
math.NT2026
Matrix Kloosterman Sums, Random Matrix Statistics, and Cryptography
Tianshuo Yang
This paper presents a comprehensive study of matrix Kloosterman sums, including their computational aspects, distributional behavior, and applications in cryptographic analysis. Bu…
cs.LG2026
Adapting Feature Attenuation to NLP
Tianshuo Yang, Ryan Rabinowitz, Terrance E. Boult +1
Transformer classifiers such as BERT deliver impressive closed-set accuracy, yet they remain brittle when confronted with inputs from unseen categories--a common scenario for deplo…
cs.LG2025
LemmaHead: RAG Assisted Proof Generation Using Large Language Models
Tianbo Yang, Mingqi Yan, Hongyi Zhao +1
Developing the logic necessary to solve mathematical problems or write mathematical proofs is one of the more difficult objectives for large language models (LLMS). Currently, the…