PPaperPicks

Rajeev Alur

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

DBLP profile ↗ORCID search ↗

Venues

NeurIPS ×2AAAI ×1ICLR ×1

Frequent coauthors

Seewon Choi
DBLP profile ↗ORCID search ↗
×1
Anton Xue
DBLP profile ↗ORCID search ↗
×1
Alaia Solko-Breslin
DBLP profile ↗ORCID search ↗
×1
Ziyang Li
DBLP profile ↗ORCID search ↗
×1

Papers

  1. CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning
    NeurIPS 2025 ·
    Seewon Choi
    DBLP profile ↗ORCID search ↗
  2. Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference
    ICLR 2025 ·
    Anton Xue
    DBLP profile ↗ORCID search ↗
  3. Data-Efficient Learning with Neural Programs
    NeurIPS 2024 ·
    Alaia Solko-Breslin
    DBLP profile ↗ORCID search ↗
  4. Relational Programming with Foundational Models
    AAAI 2024 ·
    Ziyang Li
    DBLP profile ↗ORCID search ↗