commit 9a25ebcce8a9479c3a8ef9b082b0d4fc9255db08
parent 006ff752f7b92758ca31438f21d2e8cb30287225
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Fri, 10 Jan 2025 15:00:05 +0100
commit with codex
Diffstat:
3 files changed, 12 insertions(+), 2 deletions(-)
diff --git a/craig_interpolation b/craig_interpolation
@@ -2,7 +2,8 @@
For every [implication] φ => ψ, there is a formula χ using only the common [relation_symbol]s of φ and ψ such that φ => χ and χ => ψ
-[cate2023craig]: [survey_article] on [craig_interpolation] for [guarded_fragment]
+- [cate2023craig]: [survey_article] on [craig_interpolation] for [guarded_fragment]
+- [cate2024craig]: [invited_talk]
Up: [property] of [logical_fragment]
diff --git a/probabilistic_circuit b/probabilistic_circuit
@@ -23,7 +23,7 @@ we want to do [maximum_a_posteriori] on such circuits
- md-vtrees: a way to guarantee marginal determinism, just by labeling v-tree
nodes with a subset S of variables on which you have to be S-deterministic
-connections to other kinds of polynomials than [probability_distribution]: see [broadrick2024polynomial]
+connections to other kinds of [polynomials] than [probability_distributions]: see [broadrick2024polynomial]
See also: [arithmetic_circuit], [circuit_algebraic]
diff --git a/probability_distribution b/probability_distribution
@@ -0,0 +1,9 @@
+# Probability distribution
+
+For a set of [probability_outcomes] of a [random_variable] X, a [probability_distribution] is a [function] giving a [probability] to every [probability_outcome] of X, so that the [probabilities] sum up to 1 ([normalization])
+
+Up: [probabilities]
+
+See also: [measure]
+
+Aliases: probability distributions
