2 papers
cs.SE2026
Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents
Cailin Winston, Claris Winston, René Just
Tool-augmented Large Language Models (TaLLMs) extend LLMs with the ability to invoke external tools, enabling them to interact with real-world environments. However, a major limita…
cs.SE2022
Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition
Cailin Winston, Caleb Winston, Chloe N Winston +4
Brain-computer interfaces (BCIs) decode recorded neural signals from the brain and/or stimulate the brain with encoded neural signals. BCIs span both hardware and software and have…