Gireeja Ranade

4 papers · 2017–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (10) 🐣 Hot Topic Early Bird

Venues

AAAI (3) RSS (1)

Top co-authors

Narges Norouzi (3) Mihran Miroyan (1) Chancharik Mitra (1) Rayna Bhattacharyya (1) Arnav Mehta (1) Niels Voss (1) Manooshree Patel (1) Rishi Jain (1) Thomas Lu (1) Joaquín Jordán (1)

Research topics

Artificial Intelligence (3) Core AI (3) Natural Language Processing (2) Applications (2) Machine Learning (1) Learning Paradigms (1) Learning Types (1) Resources & Methods (1)

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) multi-agent system (1) submodular optimization (1) proof tutoring (1)

Papers

LeanTutor: Towards a Verified AI Mathematical Proof Tutor AAAI 2026 MAGIC: Multi-Agent Argumentation and Grammar Integrated Critiquer AAAI 2026 RetLLM-E: Retrieval-Prompt Strategy for Question-Answering on Student Discussion Forums AAAI 2024 Adaptive Information Gathering via Imitation Learning RSS 2017