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…
q-bio.PE2025
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…