MIT Libraries: Recent submissions

Now showing items 22-24 of 64589

    • Formal Verification of Relational Algebra Transformations in Fiat2 Using Coq 

      Teshome, Christian (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 ...

    • Converting PyTorch Models to StreamIt Pipelines 

      Rajvee, Muhender Raj (Massachusetts Institute of Technology, 2025-05)
      With the rise of large language models, there have been efforts to optimize machine learning inference to support a large volume of queries. Currently, the two main ways to do this are running optimized kernels for computing ...

    • An Interactive Visual Paradigm for Knowledge Graph Question-Answering 

      Ramkumar, Vayd Sai (Massachusetts Institute of Technology, 2025-05)
      In an era of information overload, verifying data reliability and provenance is critical, yet knowledge graphs (KGs) often remain complex for non-expert users. This thesis introduces TRACE, a Reasoning and Answer-path ...