I heard from a colleague that there exists a Sefer where the conclusions of Chazal on the status of certain Sefeikos can be represented in the form of probability models1.
Could anyone verify if this is certain?
1 The first topic discussed in the Shev Shamaitsa is on the topic of Sefeikos and its details. That being said I am additonally interested in seeing if mathematical models can be created based on what is written by the Rishonim and Achromim on Sefeikos there.