MC Stan VS Kira

My approach to problems like this is to write down the proposed model mathematically first, in extreme detail. I find hierarchical form to be the easiest way to break it down piece by piece. Once I have the maths then I turn it into a Stan model. Last step is to use the Stan output to answer the research questions. Source: 12 months ago

For instance my first choice in these cases is always a Bayesian inference tool like Stan. In my experience as someone who’s more of a programmer than mathematician/statistician, Bayesian tools like this make it much easier to not accidentally fool yourself with assumptions, and they can be pretty good at catching statistical mistakes. Source: almost 1 year ago

I tend to be most impressed by tools and libraries. The stuff that has most impressed me in my time in ML is stuff like pytorch and Stan, tools that allow expression of a wide variety of statistical (and ML, DL models, if you believe there's a distinction) models and inference from those models. These are the things that have had the largest effect in my own work, not in the sense of just using these tools, but... Source: 12 months ago

Oh its certainly used in practice. You should look into frameworks like Stan[1] and pyro[2]. I think bayesian models are seen as more explainable so they will be used in industries that value that sort of thing [1] https://mc-stan.org/. - Source: Hacker News / about 1 year ago

At this point the only people using such things are the programmers. Think e.g. STAN. https://mc-stan.org/ the rest of us: R, SAS, Excel. Source: about 1 year ago

Kira (https://kirasystems.com/) uses AI to do contract analysis. Source: over 2 years ago

There are systems like Kira (https://kirasystems.com/) which is used in some firms (I know of at least one more but I forgot its name :/) It might also worth to look up what a legal technologist is :). Source: almost 3 years ago