3 papers
cs.LG2026
Randomized SVD Approximations for Spectral Co-Clustering of Word-Document Matrices
Fateme Mazdarani, Carlos Toxtli
Spectral co-clustering is a useful tool for discovering latent structure in word-document matrices, but its reliance on singular value decomposition (SVD) can make standard formula…
cs.AI2026
Beyond the Answer Key: Robustness Evaluation of Large Language Models for Step-Level Mathematical Verification
Fateme Mazdarani, Carlos Toxtli
Large language models (LLMs) are increasingly used as graders, verifiers, and process auditors, but most mathematical evaluations still emphasize final-answer accuracy. This can ob…
cs.AI2026
TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations
Fateme Mazdarani, Carlos Toxtli
AI systems increasingly operate between flexible input representations and formal objects used by downstream tools. A key challenge is recognizing when an unfamiliar formulation de…