PPaperPicks

Rajeev Alur

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

DBLP profile ↗ORCID search ↗

Venues

NeurIPS ×2AAAI ×1ICLR ×1USENIX Security ×1

Frequent coauthors

Eric Wong
×3
Ziyang Li
×3
Mayur Naik
×3
Seewon Choi
×2
Alaia Solko-Breslin
×2
Anton Xue
×2
Neelay Velingker
×2
Avishree Khare
×1
Surbhi Goel
×1
Jiani Huang
×1
Jason Liu
×1
Felix Zhu
×1

Papers

  1. CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning
    NeurIPS 2025 ·
    Seewon Choi
    ,
    Alaia Solko-Breslin
    , Rajeev Alur,
    Eric Wong
  2. Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference
    ICLR 2025 ·
    Anton Xue
    ,
    Avishree Khare
    , Rajeev Alur,
    Surbhi Goel
    ,
    Eric Wong
  3. Data-Efficient Learning with Neural Programs
    NeurIPS 2024 ·
    Alaia Solko-Breslin
    ,
    Seewon Choi
    ,
    Ziyang Li
    ,
    Neelay Velingker
    , Rajeev Alur,
    Mayur Naik
    ,
    Eric Wong
  4. Relational Programming with Foundational Models
    AAAI 2024 ·
    Ziyang Li
    ,
    Jiani Huang
    ,
    Jason Liu
    ,
    Felix Zhu
    ,
    Eric Zhao
    ,
    William Dodds
    ,
    Neelay Velingker
    , Rajeev Alur,
    Mayur Naik
  5. TYGR: Type Inference on Stripped Binaries using Graph Neural Networks
    USENIX Security 2024 ·
    Chang Zhu
    ,
    Ziyang Li
    ,
    Anton Xue
    ,
    Ati Priya Bajaj
    ,
    Wil Gibbs
    ,
    Yibo Liu
    , Rajeev Alur,
    Tiffany Bao
    ,
    Hanjun Dai
    ,
    Adam Doupé
    ,
    Mayur Naik
    ,
    Yan Shoshitaishvili
    ,
    Ruoyu Wang
    ,
    Aravind Machiry