Search Results for author:
Found 7 papers, 2 papers with code
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples
There is great interest in using formal methods to guarantee the reliability of deep neural networks.
Whittemore: An embedded domain specific language for causal programming
This paper introduces Whittemore, a language for causal programming.
Causal programming: inference with structural causal models as finding instances of a relation
This paper proposes a causal inference relation and causal programming as general frameworks for causal inference with structural causal models.
A causation coefficient and taxonomy of correlation/causation relationships
This paper introduces a causation coefficient which is defined in terms of probabilistic causal models.
The Computational Power of Dynamic Bayesian Networks
This paper considers the computational power of constant size, dynamic Bayesian networks.
Evolving Shepherding Behavior with Genetic Programming Algorithms
We apply genetic programming techniques to the `shepherding' problem, in which a group of one type of animal (sheep dogs) attempts to control the movements of a second group of animals (sheep) obeying flocking behavior.
MetroViz: Visual Analysis of Public Transportation Data
Understanding the quality and usage of public transportation resources is important for schedule optimization and resource allocation.
Human-Computer Interaction
