PPaperPicks

Mo Tiwari

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

DBLP profile ↗ORCID search ↗

Venues

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

Frequent coauthors

Donghyun Lee
×2
Ryan Kang
×2
Colin Sullivan
×2
Sebastian Thrun
×2
Adarsh Kumarappan
×1
Peiyang Song
×1
Robert Joseph George
×1
Chaowei Xiao
×1
Anima Anandkumar
×1
Brando Miranda
×1
Tavor Z. Baharav
×1
Eric Luxenberg
×1

Papers

  1. LeanAgent: Lifelong Learning for Formal Theorem Proving
    ICLR 2025 ·
    Adarsh Kumarappan
    , Mo Tiwari,
    Peiyang Song
    ,
    Robert Joseph George
    ,
    Chaowei Xiao
    ,
    Anima Anandkumar
  2. Prompt Infection: LLM-to-LLM Prompt Injection within Multi-agent Systems
    ESORICS 2025 ·
    Donghyun Lee
    , Mo Tiwari,
    Brando Miranda
  3. Adaptive Sampling for Efficient Softmax Approximation
    NeurIPS 2024 ·
    Tavor Z. Baharav
    ,
    Ryan Kang
    ,
    Colin Sullivan
    , Mo Tiwari,
    Eric Luxenberg
    ,
    David Tse
    ,
    Mert Pilanci
  4. Faster Maximum Inner Product Search in High Dimensions
    ICML 2024 · Mo Tiwari,
    Ryan Kang
    ,
    Jaeyong Lee
    ,
    Donghyun Lee
    ,
    Christopher Piech
    ,
    Sebastian Thrun
    ,
    Ilan Shomorony
    ,
    Martin Jinye Zhang
  5. MAPTree: Beating "Optimal" Decision Trees with Bayesian Decision Trees
    AAAI 2024 ·
    Colin Sullivan
    , Mo Tiwari,
    Sebastian Thrun