Our Project
We propose building an AI tutoring agent designed specifically to answer student questions about static analysis CTF challenges, leveraging Retrieval-Augmented Generation (RAG) and a curated knowledge graph of program analysis concepts. This will be delivered as a web-based interactive tutoring system that allows students to ask natural language questions and receive grounded, consistent, and educationally structured answers
Retrieval-Augmented Generation
Combines an LLM with curated static analysis CTF documentation and explanations.
Domain-Specific Knowledge Graph
LLM responses are anchored by a relational map of static analysis key concepts, relationships, and example challenges.
Context-Aware Interactions
Students can ask clarifying questions or go deeper on specific concepts.