Researcher, Huawei Technologies Ltd.
2 papers at NeurIPS 2025
We introduce a distribution semantics on logic programs using probabilistic equivalence.