Graduate Theses: Recent submissions
Now showing items 7-9 of 36437
-
Uncertainty-Aware Knowledge Graph Retrieval Methods and Their Use in LLM Question-Answering
(Massachusetts Institute of Technology, 2025-09)Knowledge Graph Question Answering (KGQA) encompasses a set of techniques aimed at generating accurate, interpretable responses to natural language queries posed over structured, graph-based datasets. Recent approaches to ... -
Applied Compiler Optimizations for Proving Code
(Massachusetts Institute of Technology, 2025-09)The recent popularity of massively distributed, trustless systems has created a demand for cryptographic proofs: systems to prove that a piece of data is a valid output for a given program. These systems exist, but face ... -
Reconstructing Cross-Species Ancestral Adeno-Associated Viruses for Enhanced Gene Therapy Delivery
(Massachusetts Institute of Technology, 2025-09)Adeno-associated viruses (AAV) are one of the most promising vectors for gene therapy because of their established safety, low immunogenicity, and capability to achieve sustained gene expression. However, many naturally ...
