PPaperPicks

Gireeja Ranade

3 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3

Frequent coauthors

Narges Norouzi
×3
Manooshree Patel
×1
Rayna Bhattacharyya
×1
Thomas Lu
×1
Arnav Mehta
×1
Niels Voss
×1
Joaquín Jordán
×1
Xavier Yin
×1
Melissa Fabros
×1
Chancharik Mitra
×1
Mihran Miroyan
×1
Rishi Jain
×1

Papers

  1. LeanTutor: Towards a Verified AI Mathematical Proof Tutor
    AAAI 2026 ·
    Manooshree Patel
    ,
    Rayna Bhattacharyya
    ,
    Thomas Lu
    ,
    Arnav Mehta
    ,
    Niels Voss
    ,
    Narges Norouzi
    , Gireeja Ranade
  2. MAGIC: Multi-Agent Argumentation and Grammar Integrated Critiquer
    AAAI 2026 ·
    Joaquín Jordán
    ,
    Xavier Yin
    ,
    Melissa Fabros
    , Gireeja Ranade,
    Narges Norouzi
  3. RetLLM-E: Retrieval-Prompt Strategy for Question-Answering on Student Discussion Forums
    AAAI 2024 ·
    Chancharik Mitra
    ,
    Mihran Miroyan
    ,
    Rishi Jain
    ,
    Vedant Kumud
    , Gireeja Ranade,
    Narges Norouzi