34 citations · 126 across the 14 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.ST2026
Birnbaum's principles in Venn diagrams: Extended version with Lean verification
Jaime Enrique Lincovil Curivil, Alexandre Galvão Patriota
Birnbaum's theorem states that the sufficiency and conditionality principles jointly imply, and are implied by, the likelihood principle. To enable formal certification of the resu…
math.ST2026
Version-Robust Methods for Identifying Minimal Sufficient Statistics
Rafael Oliveira Cavalcante, Alexandre Galvão Patriota
Let be the joint density of a random sample . A frequently used criterion asserts that a statistic is minimal sufficient if, for any sample points and , $T(x…