Mo Tiwari

8

Papers

2,204

Total Citations

Papers (8)

Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models

LeanAgent: Lifelong Learning for Formal Theorem Proving

MAPTree: Beating “Optimal” Decision Trees with Bayesian Decision Trees

Faster Maximum Inner Product Search in High Dimensions

BanditPAM: Almost Linear Time k-Medoids Clustering via Multi-Armed Bandits

NeurIPS 2020arXiv

MABSplit: Faster Forest Training Using Multi-Armed Bandits

NeurIPS 2022arXiv

BanditPAM++: Faster $k$-medoids Clustering

NeurIPS 2023arXiv

Harnessing the power of choices in decision tree learning

NeurIPS 2023arXiv