Internalizing Indistinguishability with Dependent Types.

Yiyun Liu Jonathan Chan Jessica Shi Stephanie Weirich

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

information systems
databases
computer vision
decision making
image segmentation
bayesian networks
reinforcement learning
multi agent
preprocessing
evolutionary algorithm
xml documents
probability distribution