Gireeja Ranade
4 papers · 2017–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🌍 Conference Polyglot (2) 🏃 Academic Marathon (7)
🐝
Cross-Pollinator
(8)
🗺️
Taxonomy Completionist
(10)
Conferences
AAAI (3)
RSS (1)
Top co-authors
Keywords
large language model
(3)
active learning
(1)
imitation learning
(1)
text classification
(1)
theorem proving
(1)
question answering
(1)
prompt engineering
(1)
posterior sampling
(1)
exploration planning
(1)
adaptive submodularity
(1)
text retrieval
(1)
retrieval-augmented generation
(1)
information gathering
(1)
automated essay scoring
(1)
oracle policy
(1)
adaptive sub-modularity
(1)
multi-agent system
(1)
submodular optimization
(1)
proof tutoring
(1)
Papers
MAGIC: Multi-Agent Argumentation and Grammar Integrated Critiquer
AAAI 2026
LeanTutor: Towards a Verified AI Mathematical Proof Tutor
AAAI 2026
RetLLM-E: Retrieval-Prompt Strategy for Question-Answering on Student Discussion Forums
AAAI 2024
Adaptive Information Gathering via Imitation Learning
RSS 2017