Computer Sciences Commons^™

Digital Presence In Live Hybrid Performance, Luke Cargill

Dartmouth College Master’s Theses

This thesis examines how digital presence, the sense that a digital performer is socially and performatively "there," is designed and tested in live hybrid performance. Drawing on four practice-based projects (Vicarious, Voltage, Vicarious: Encore Edition, and SUPER BLOOM), the first phase identifies a recurring but empirically untested claim: that digital presence depends on interactivity and co-presence with live performers, though these factors were always entangled in practice.

The second phase tests this claim directly. A new mini-performance, featuring the first fully AI-driven digital character in this line of work, was produced for controlled comparison. Using a 3 (intro type: AI-driven, …

Automatic Glossing In Under-Resourced Languages: Case Studies In Bribri And Cook Islands Māori, Carter D. Anderson

Linguistics Undergraduate Senior Theses

Interlinear glossing is a major task in Indigenous language documentation. In this paper, I explore how effectively two Large Language Models, ByT5 and Gemini 2.5 Flash, can produce interlinear glossed text. I also examine how prompting an LLM with different types of information (dictionary entries, other training samples, and translations) can augment model performance. I apply these models to two under-resourced Indigenous languages: Bribri, which is morphologically complex from Costa Rica, and Cook Islands Māori, which has a simpler morphology and is from the Cook Islands in the Pacific Ocean. ByT5 exhibits much better performance when glossing Cook Islands Māori …

Extraction Of Key Themes In Online Health Discourse Using Unsupervised Learning And Large Language Models, Miranda G. Scully

Computer Science Senior Theses

Health online discussion boards are a modern platform that allow patients to interact with each other and the healthcare system as a whole, making them valuable sources of information for clinicians seeking to better anticipate treatment experiences and barriers. This study focuses on one such community, r/suboxone, a subreddit where patients using Suboxone share their experiences and ask questions. Our analysis is motivated by previous work that proposes event-based classification systems for such posts which buckets posts from r/suboxone into one or more of five high-level labels (Access Logistics, Co-Occurring Drug Usage, Medication for Opioid Use Disorder Administration, Psychophysical Effects, …

Rehabvr: A Virtual Reality System For Upper-Body Orthopaedic Physical Therapy Rehabilitation, Winnie Brenda Wanjiru Waiya

Computer Science Senior Theses

Physical therapy is a central component of rehabilitation for musculoskeletal conditions, yet adherence to prescribed treatment remains persistently poor. Jack et al. identified pain, boredom, and insufficient feedback as key barriers to treatment adherence in physiotherapy outpatient settings,¹ and Rucinski et al. confirmed that non-adherence rates in orthopaedic populations remain between 50 and 70%, with patients who disengage facing elevated risk of reoperation, progressive functional decline, and poor clinical outcomes.² According to the World Health Organization, approximately 1.71 billion people globally live with musculoskeletal conditions,³ with shoulder pain specifically carrying a community prevalence ranging from 0.67 to 55.2% worldwide and …

Probabilistic Characterization Of Voltage Glitching Attacks, Anna Filyurina

Computer Science Senior Theses

Glitching, or Fault Injection, is an effective hardware hacking technique used in industry but largely unstudied in academia. Industry-led study of glitching is result-driven and overwhelmingly proprietary, meaning that a scientific approach to glitching is seen infrequently and published even less.

This thesis aims to be part of the effort to bring glitching to the attention of the academic side of the cyber security community. Specifically, this work aims to characterize and explore the probabilistic nature of fault injection that has been previously overlooked. Although from a purely result-driven point of view probabilistic nature of a phenomenon suggests unreliability and …

Flip It And Reverse It: Probing Consistency Of Llm World Knowledge Under Logical Transformations, Rhianna Smith

Computer Science Senior Theses

When assessing the extent to which someone truly understands the topics they discuss, you might ask them a series of questions that examine their knowledge from different angles. As Large Language Models (LLMs) are increasingly integrated into real-world tasks, they are often required to reason through ambiguous and uncertain scenarios that rarely have a single correct answer. In these settings, their usefulness is contingent on more than accuracy alone. Rather, it depends on the strength of the reasoning that underlies their responses. This begs the question: how might we extend these types of tests to LLMs? We formalize this informal …

Investigating How Llm Trading Agents Integrate External Signals, Rohan Ray

Computer Science Senior Theses

Large Language Models are increasingly deployed in systems that assume more information leads to better decisions: RAG pipelines inject retrieved documents, tool-augmented agents call external APIs, and multi-model architectures route signals between specialized components. Whether this holds when both the information and the outcomes are noisy, and decisions compound over time, has received limited empirical attention. This thesis tests that assumption on LLM-based trading agents. Using StockBench (Chen et al., 2025) as our benchmark, we ran 150 backtests across 2 frontier LLMs (Kimi K2 and Qwen3-235B-Instruct), 12 augmentation strategies, and 5 random seeds, over 82 trading days — a period …

Biologically Informed Negative Samplingfor Antibody Chain Pairing Classification, Ishita Singh

Computer Science Senior Theses

Antibody heavy and light chain (H/L) pairing is fundamental to antigen recognition and stability. While single-cell sequencing preserves native pairing information, widely used bulk repertoire and spatial transcriptomics platforms do not, motivating the need for efficient ML methods to infer H/L pairing. Training a binary classifier for this task faces the methodological challenge of a lack of true biological negatives, since natural selection eliminates B cells with incompatible H/L pairs.

In this thesis, I introduce a biologically informed negative sampling strategy for H/L pairing classification, drawing on known V-gene biases in heavy and light chain pairing. Pseudo-negatives are constructed by …

Mimic: A Multimodal Dataset For Affective Incongruity In Video, Ethan M. Baird

Computer Science Senior Theses

This thesis investigates the computational challenges of constructing a database for affective incongruity, exploring the difficulties in automating the collection of contradictory affective states. Capturing these incongruities is essential for advancing Vision-Language Models (VLMs) and sentiment analysis, which struggle to interpret signals deviating from basic emotional archetypes. Curating non-congruent affect provides the data necessary for models to navigate complex social contexts, which is critical for applications like automated Audio Description (AD) for the visually impaired and nuanced Human-Computer Interaction (HCI). To capture these signals, two distinct methodologies were employed. The first utilized a tripartite decomposition of video data, isolating textual, …

Representing Lean Proofs: Tactics, Trajectories, Search, Elisaveta Samoylov

Computer Science Senior Theses

In neural theorem proving for interactive proof assistants such as Lean, tactic prediction models score proof steps by surface likelihood, missing whether a move actually advances the proof. This thesis proposes representing each step by the symbolic edit it induces on the proof state rather than by its token-level surface form, and shows that this effect-grounded view yields better tactic embeddings, reveals structured geometry in complete proofs, and enables a practical proof search prior.

We introduce Delta Tokens — token-level state edits augmented with structural indicators — and show they outperform surface-only representations on tactic retrieval and operator-analogy benchmarks. Embedding …

Llzk-Symex: Building A Circuit Verification Framework For The Llzk Zero-Knowledge Intermediate Language, Nicolás Iair Schaievitch

Computer Science Senior Theses

The rising adoption of ZK (Zero-Knowledge) technology has led to a plethora of DSLs (Domain Specific Languages) for facilitating the development of ZK circuits. At the same time, there has also been an increase in the number of compilation targets for these languages, with different cryptographic foundations and performance optimizations. LLZK, by Veridise, aims to unify the ecosystem by providing a single IR (Intermediate Representation) for the different frontend DSLs, that would then also allow choosing between different backends. Given the high stakes (particularly financial) that a lot of ZK circuits are under, together with their high level of complexity, …

Capturing Large Language Model Similarity Through Spectral Analysis, Ishan Verma Prasad

Computer Science Senior Theses

With the rapid development of open-sourced models on Huggingface, there is a strong need for a way to systematically determine the similarity between models. More strongly, for intellectual property and organization, we need a way to determine the "lineage" of models. We borrow principles from Heavy-Tailed Self-Regularization and Random Matrix Theory to provide an inference-free method to accomplish this. We cluster a corpus of several model families by their spectral fingerprints and demonstrate that each model family occupies a distinct region in weight space. This confirms prior ideas of training setups leaving artifacts on model weights and allows us to …

Knockout Tournaments: An Investigation Of Stability, Isabelle Han

Computer Science Senior Theses

Knockout (or single game elimination) tournaments are a competition format widely used to determine a single winner from a pool of participants. However, the seeding, or the initial pairings set by the organizers of the tournament, can dramatically change each participant's probability of winning. This paper introduces stability as a property of tournaments. More specifically, a tournament is stable if no pair of players can be found such that they both wish to swap initial positions. This property is adapted from prior work on stable matchings and is therefore a well-defined structural property.

We investigate three theoretical questions on the …

Reliability-Aware Mixture-Of-Agents For Robust Ai-Generated Image Detection, Jake Jump, Yu-Wing Tai

Computer Science Senior Theses

Detecting AI-generated images requires reasoning across multiple levels of evidence, ranging from low-level statistical artifacts to high-level semantic inconsistencies. Existing approaches typically rely on a single class of signals or emphasize complex multi-agent coordination, which limits robustness under distribution shifts and common image degradations. We propose a reliability-aware Mixture-of-Agents (MoA) framework that treats Vision-Language Model (VLM) agents and computational features as complementary experts and aggregates their predictions based on empirically calibrated reliability. Rather than relying on intricate inter-agent reasoning, our approach centers on structured aggregation: high-precision “anchor” agents drive predictions, while weaker but complementary signals are adaptively incorporated to resolve …

Dancing For The People: A Culturally Grounded Learning-To-Rank Framework For Powwow Dance Evaluation, Avery C. Sutherland

Computer Science Senior Theses

Powwow dance is a form of Indigenous expression that combines movement, storytelling, regalia, and community values. Within competition powwows, dancers are evaluated through a highly subjective judging process that often lacks standardized criteria, creating challenges for consistency, transparency, and fairness. This work investigates whether a learning-to-rank framework can model subjective powwow dance preferences while remaining grounded in the cultural context of the practice. To support this research, a new dataset was constructed consisting of 19 Women's Fancy Shawl dancer profiles and 236 pairwise preference labels collected from experienced members of the powwow community. Each dancer profile combines textual descriptions, images, …

Rscore - A Tool For Learning And Quantifying Software Infrastructure Resiliency, Selena Yujia Zhou

Computer Science Senior Theses

As LLMs take over writing code, infrastructure resilience has become the central challenge of software development, especially for gaming applications, where latency, availability, and scale demands are extreme. However, holistic software infrastructure is difficult to understand for casual developers because of the multiple layers of abstraction that make up an application, and the lack of structured information from proprietary companies. This thesis explores the creation of rscore, a tool that quantifies software infrastructure resiliency and subsequently educates developers about the architecture of any existing gaming application. The tool generates two graphical models of a game’s early versus current infrastructure and …

Real-Time Simulation Of Bio-Luminescent Light Propagation Using Compute Shaders Within Unreal Engine, Jaden D. Halevi

Computer Science Senior Theses

Presented in this paper is a GPU-native approach to interactive fluid simulation within Unreal Engine 5. The system, BioFluidSim, implements an incompressible Navier-Stokes solver using Unreal’s Niagara Grid2D compute shader pipeline, with a modular biological emission output stage parameterized from experimentally measured Lingulodinium polyedrum bioluminescence behavior. The system is evaluated against FluidNinja Live, a commercially available fragment shader fluid implementation, as a performance baseline. Beyond performance, BioFluidSim offers greater physical fidelity than the fragment shader baseline. Helmholtz–Hodge pressure projection enforces a divergence-free velocity field at runtime, a physical constraint approximated but not enforced by fragment shader approaches. The biological emission …

2026 Cyber-Resilient Health Care Workshop Report, Malcolm Schongalla, Sergey Bratus

Computer Science Technical Reports

The ISTS and the Dartmouth College Cybersecurity Cluster hosted the successful, inaugural Cyber-Resilient Health Care (CRHC) Workshop, March 5th & 6th, 2026. The event theme was "Innovation and Implementation," in response to the need to shift from reactive to proactive resiliency measures in the healthcare sector. Approximately 30 experts in clinical health care, cybersecurity, medical technology, policy, and innovation met to discuss solution-focused innovations addressing hard, cyber-related problems in health care. The agenda featured keynotes, an expert panel, innovation pitches, small group discussions, and a tabletop infrastructure disaster exercise. Participants gained insights into the obstacles and solutions involved in supporting …

Cloud Tank: Virtual Reality Performance Instrument For Embodied Audiovisual Remixing, Asya Ulger

Computer Science Senior Theses

Traditionally, live audiovisual performances are made behind a desk using a laptop and an audio controller. This setup restricts the performer’s movements and separates the artist from their work. Moreover, it narrows what counts as the performance to the output alone — the audience is preconditioned to treat the projected image and sound as the whole event, and not the artist producing it. Cloud Tank challenges this by positioning the performer’s body as the instrument, using virtual reality. As the performer, I mix spatialized audio and drive beat-aligned, reactive video layers through hand movement and hand-pose recognition. The audiovisual output …

High-Throughput Robotic Ethanol Inhibition Assays For Engineered Thermophilic Biofuel Strains, Kevin He, Daniel Olson, Marybeth Maloney, Anthony Lanahan

Wetterhahn Science Symposium Posters

Ethanol stress assays are commonly used to evaluate microbial tolerance, metabolic adaptation, and fermentation performance. However, manual liquid handling introduces variability across replicate wells and small-volume pipetting steps, limiting reproducibility and throughput. This study developed an automated OT-2 robotic workflow to generate replicated ethanol concentration gradients for high-throughput inhibition assays in engineered thermophilic biofuel strains. Kinetic plate-reader measurements were used to quantify ethanol-dependent growth responses under anaerobic fermentation conditions. The reasearch question is: How do engineered thermophilic biofuel strains differ in ethanol-dependent growth inhibition under anaerobic fermentation conditions, and can automated robotic assays improve the reproducibility of these measurements? Can …

Effects Of Coulomb Collisions On The Structures Of Fast Magnetosonic Shocks, Bo Farnell

Physics and Astronomy Undergraduate Senior Theses

We present fully kinetic particle-in-cell simulations demonstrating qualitative effects of binary Coulomb collisions on fast magnetosonic shocks. We find that with a sufficiently high collisional frequency, shock rippling and reformation can be inhibited, creating stationary, laminar shocks. We see that collisions rapidly bring the reflected population into equilibrium with the upstream population, adding credibility to existing theories that the separation of these two populations create these dynamical behaviors around the shock transition region. We also see that Ohmic heating from Coulomb collisions can suppress instabilities.

Conditional Product Sampling For Gaussian Process Implicit Surfaces, Song Shi

Dartmouth College Master’s Theses

Gaussian Process Implicit Surfaces (GPISes) provide a powerful and unified stochastic geometry representation for rendering surfaces, volumes, and the rich continuum between them. Recent work has shown that GPISes can model a broad space of visual appearances under a unified light transport framework. However, practical rendering with GPISes remains challenging: existing estimators can become inefficient for particular correlation structures, and highly anisotropic or heightfield-like GPISes require specialized treatment to obtain robust variance reduction.

This thesis extends recent work on GPIS rendering by introducing a new next-event estimation (NEE) technique for anisotropic GPISes.We show that standard NEE provides diminishing benefits as …

Storyteller: Training-Free Narrative Grounding And Forseebench: Evaluation For Long Form Audio Description, Seung Hyun Hahm

Dartmouth College Master’s Theses

Understanding long-form video requires tracking events, motivations, and relationships across time rather than describing isolated frames. However, existing video--language models (VLMs) and audio description (AD) systems often generate short-horizon descriptions that omit narrative context, causal intent, and story continuity, limiting accessibility for blind and low-vision (BLV) audiences. This thesis investigates how long-form AD can be grounded in narrative memory without relying on expensive supervised training pipelines or heavily curated annotations.

We propose StoryTeller, a training-free retrieval-augmented framework for long-form audio description. Instead of depending solely on frame-level perception, StoryTeller summarizes observations into structured narrative facts that capture who did what …

Dynamic Trust Calibration, Bruno Miranda Henrique

Dartmouth College Ph.D Dissertations

Trust calibration between humans and Artificial Intelligence (AI) is crucial for optimal decision-making in collaborative settings. Excessive trust can lead users to accept AI-generated outputs without question, overlooking critical flaws, while insufficient trust may result in disregarding valuable insights from AI systems, hindering performance. Despite its importance, there is currently no definitive and objective method for measuring trust calibration between humans and AI. Current approaches lack standardization and consistent metrics that can be broadly applied across various contexts, and they don’t distinguish between the formation of opinions and subsequent human decisions. This thesis brings a novel and objective method for …

Weavecc: Symbolically-Guided Joint Exploration Of Inputs And Schedules For Concurrency Bug Detection, William Philip Dinauer

Dartmouth College Master’s Theses

Concurrent programs introduce a class of bugs that depend jointly on both program inputs and thread schedules. Exposing these bugs requires simultaneously reasoning about which code paths are reachable and which thread interleavings are possible. At the same time, many existing tools handle the problem insufficiently. Race detectors observe only the interleavings that the OS happens to produce. Fuzzers explore inputs without controlling schedules. Tools that address both dimensions together exist, but are built on interpretation-based symbolic executors that incur considerable overhead.

We present WeaveCC, a practical concurrency testing tool for C/C++ programs that jointly explores inputs and thread schedules. …

Ai Interpretability In Healthcare Communication, Ananya Jeyappragash

Dartmouth College Master’s Theses

Artificial intelligence has increasingly been adopted in healthcare, largely for specialized tasks and under significant human oversight. The use of large black-box systems raises important concerns about transparency in high-stakes environments such as clinical decision-making. Clinical communication is fundamentally human-centered, and failures in judgment can have serious consequences for patient care. Overestimating the reasoning abilities of large language models may lead to undue trust in fabricated or “hallucinated” outputs, while rejecting AI-assisted tools altogether may preserve inefficient workflows and contribute to missed or delayed diagnoses. These concerns reflect a broader tradeoff between accuracy and interpretability: although more complex models may …

From Attention To Reasoning: Beyond Accuracy In Multimodal Ai, Wayner Barrios

Dartmouth College Ph.D Dissertations

Multimodal large language models have achieved impressive performance on vision-language benchmarks by integrating visual encoders with large language models. Yet a critical gap persists between benchmark accuracy and genuine multimodal understanding: current evaluation frameworks assess performance by final answers alone, rewarding confident predictions while leaving systematic reasoning failures undetected.

This thesis addresses this gap through a unified framework that progresses from understanding to reasoning, using video as the most comprehensive multimodal testbed. Video inherently combines vision, audio, and language with temporal dynamics and massive token redundancy; techniques developed for video's comprehensive challenges transfer naturally to simpler multimodal tasks.

On understanding …

Lens: Llm-Enabled Narrative Synthesis For Mental Health By Aligning Multimodal Sensing With Language Models, Wenxuan Xu

Dartmouth College Master’s Theses

Multimodal health sensing offers rich behavioral signals for assessing mental health, yet translating these numerical time-series measurements into natural language remains challenging. Current LLMs cannot natively ingest long-duration sensor streams, and paired sensor–text datasets are scarce. To address these challenges, we introduce LENS, a framework that aligns multimodal sensing data with language models to generate clinically grounded mental-health narratives. LENS first constructs a large-scale dataset by transforming Ecological Momentary Assessment (EMA) responses related to depression and anxiety symptoms into natural-language descriptions, yielding over 100,000 sensor–text QA pairs from 258 participants. To enable native time-series integration, we train a patch-level encoder …

From Physical Correlation To Emotional Connection: The Role Of Passive Haptics On Empathy In Virtual Reality, Jemely Robles

Dartmouth College Master’s Theses

Virtual reality is increasingly explored as a tool for cultivating empathy, and haptic feedback as a tool for enhancing immersion. This paper investigates the effects of combining the two.  Fifty-two participants experienced a custom-built VR scene in which a character was shown packing up a room. Participants were assigned to either a haptic condition, receiving passive haptic feedback corresponding to the character's actions, or a non-haptic control condition that did not receive any haptic input. Trait empathy was measured beforehand, and state empathy and engagement were measured after the experience. Thematic analysis was conducted on post-study interviews, and headset recordings …

Unsafe2safe: Controllable Image Anonymization For Downstream Utility, Minh Dinh

Dartmouth College Master’s Theses

Large-scale image datasets frequently contain identifiable or sensitive content, raising privacy risks when training models that may memorize and leak such information. We present Unsafe2Safe, a fully automated pipeline that detects privacy-prone images and rewrites only their sensitive regions using multimodally guided diffusion editing. Unsafe2Safe operates in two stages. Stage 1 uses a vision--language model to (i) inspect images for privacy risks, (ii) generate paired private and public captions that respectively include and omit sensitive attributes, and (iii) prompt a large language model to produce structured, identity-neutral edit instructions conditioned on the public caption. Stage 2 employs instruction-driven diffusion editors …