2 citations · 2 across the 4 of their papers we have counts for
4 papers
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…
The structure of deviations from maximum parsimony for densely-sampled data and applications for clade support estimation
William Howard-Snyder, Will Dumm, Mary Barker +5
How do phylogenetic reconstruction algorithms go astray when they return incorrect trees? This simple question has not been answered in detail, even for maximum parsimony (MP), the…
A Retrospective on ICSE 2022
Cailin Winston, Caleb Winston, Chloe Winston +2
The 44th International Conference on Software Engineering (ICSE 2022) was held in person from May 22 to May 27, 2022 in Pittsburgh, PA, USA. Here, we summarize themes of research a…
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…