Mo Tiwari
- Papers
- 4
Cite
Notes
Only stored in your browser.
4papers
Authored papers
4LeanAgent: Lifelong Learning for Formal Theorem Proving
arXiv 2024
CATS: Contextually-Aware Thresholding for Sparsity in Large Language Models
arXiv 2024
Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models
TMLR
NL-Augmenter: A Framework for Task-Sensitive Natural Language Augmentation
arXiv 2021
Affiliations
No known affiliations.
Frequent co-authors
10from 4 papers