PPaperPicks

Gireeja Ranade

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3

Frequent coauthors

Manooshree Patel
DBLP profile ↗ORCID search ↗
×1
Joaquín Jordán
DBLP profile ↗ORCID search ↗
×1
Chancharik Mitra
DBLP profile ↗ORCID search ↗
×1

Papers

  1. LeanTutor: Towards a Verified AI Mathematical Proof Tutor
    AAAI 2026 ·
    Manooshree Patel
    DBLP profile ↗ORCID search ↗
  2. MAGIC: Multi-Agent Argumentation and Grammar Integrated Critiquer
    AAAI 2026 ·
    Joaquín Jordán
    DBLP profile ↗ORCID search ↗
  3. RetLLM-E: Retrieval-Prompt Strategy for Question-Answering on Student Discussion Forums
    AAAI 2024 ·
    Chancharik Mitra
    DBLP profile ↗ORCID search ↗