Graduate Theses: Recent submissions
Now showing items 13-15 of 36106
-
Guessing Random Additive Noise Decoding in Coded Multiple-Input Multiple-Output Systems
(Massachusetts Institute of Technology, 2025-05)Multiple-Input Multiple-Output (MIMO) wireless communication systems incorporate forward error correction (FEC) to achieve high reliability under fading and interference. In this thesis, we explore the emerging FEC paradigm ... -
Improving Accuracy Predictions of Companion Classifiers for LLM Routing
(Massachusetts Institute of Technology, 2025-05)The increasing versatility of Large Language Models (LLMs) calls for developing effective routing systems to match tasks with the most suitable models, balancing accuracy and computational cost. This research introduces a ... -
Formal Verification of Relational Algebra Transformations in Fiat2 Using Coq
(Massachusetts Institute of Technology, 2025-05)Data-intensive applications often involve operations over structured datasets, such as filtering, joining, and projecting records. Relational database systems generally use query planners to optimize high-level SQL queries ...
