PPaperPicks

Mo Tiwari

4 papers at tracked venues · 4 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ICLR ×1ICML ×1NeurIPS ×1

Frequent coauthors

Adarsh Kumarappan
DBLP profile ↗ORCID search ↗
×1
Tavor Z. Baharav
DBLP profile ↗ORCID search ↗
×1
Colin Sullivan
DBLP profile ↗ORCID search ↗
×1

Papers

  1. LeanAgent: Lifelong Learning for Formal Theorem Proving
    ICLR 2025 ·
    Adarsh Kumarappan
    DBLP profile ↗ORCID search ↗
  2. Adaptive Sampling for Efficient Softmax Approximation
    NeurIPS 2024 ·
    Tavor Z. Baharav
    DBLP profile ↗ORCID search ↗
  3. Faster Maximum Inner Product Search in High Dimensions
    ICML 2024 · Mo Tiwari
  4. MAPTree: Beating "Optimal" Decision Trees with Bayesian Decision Trees
    AAAI 2024 ·
    Colin Sullivan
    DBLP profile ↗ORCID search ↗