Mo Tiwari

LeanAgent: Lifelong Learning for Formal Theorem Proving

Prompt Infection: LLM-to-LLM Prompt Injection within Multi-Agent Systems

CATS: Context-Aware Thresholding for Sparsity in Large Language Models

Adaptive Sampling for Efficient Softmax Approximation

Faster Maximum Inner Product Search in High Dimensions