Graduate Theses: Recent submissions
Now showing items 55-57 of 36107
-
Methods for Latent Space Interpretation via In-the-loop Fine-Tuning
(Massachusetts Institute of Technology, 2025-05)With language models increasing exponentially in scale, being able to interpret and justify model outputs is an area of increasing interest. Although enhancing the performance of these models in chat mediums has been the ... -
Commanding, Telemetry, and Software Strategy for CubeSat Laser Infrared CrosslinK (CLICK) Mission
(Massachusetts Institute of Technology, 2025-05)This work outlines the software-related requirements necessary for successful operations of the NASA-sponsored Cubesat Laser Infrared CrosslinK (CLICK) B/C mission [1] [2]. This twin-cubesat mission will demonstrate ... -
Foundational Verification of Running-Time Bounds for Interactive Programs
(Massachusetts Institute of Technology, 2025-05)The field of formal methods has a rich history of practical application in verification of the correctness of software. Existing verification tooling operates at a wide range of rigor, from proving relatively weak properties ...
