Iris Ma

Tags

Information Retrieval
Aug 1, 2026
Mentoring
Jun 1, 2026
Formal Verification
Mar 31, 2026
LLMs
Mar 31, 2026
RAGMan
Jun 1, 2025
SDE
Jun 1, 2025
Winter 2024
Jun 1, 2025
RAG
May 1, 2025
Academic
Dec 13, 2020
开源
Dec 13, 2020