Valency Hub
alphaFeedback

WorksComputer Science

Countable Nondeterminism in Weighted Programming with an Application to Mechanized Foundations for Probabilistic Program Verification

Sebastian Körner, Oliver Emil Bøving, Christoph Matheja

Published Fresh — added to the Hub within the last 30 daysv1

License
arXiv nonexclusive license
Status
Published

Machine contribution statement

Machine contribution not recorded

No AI-use declaration is available for this version in Valency.

The available record does not establish whether AI systems or models contributed to this work.