Propositional logic deals with simple statements that are either true or false. It uses logical connectives to build complex expressions. Example: P ^ Q if both P and Q are true, then the whole expression is true. Propositions Proof Theory focuses on the rules for logical deductions and includes completeness,Continue Reading
In prediction/inference mode, variable types are unnecessary, so by freezing the graph we convert all variables in a graph and checkpoint into constants. Also there are structure nodes and operations related to training that we don’t need and can be removed by the freezing process as well. The freezing processContinue Reading
Hidden Markov Model (HMM) is a statistical Markov model in which the system being modeled is assumed to be a Markov process with unobservable (i.e. hidden) states. In simpler Markov models (like a Markov chain), the state is directly visible to the observer, and therefore the state transition probabilities areContinue Reading
A Markov chain is a stochastic model describing a sequence of possible events in which the probability of each event depends only on the state attained in the previous event. (“memorylessness”)Continue Reading
In statistical analysis of binary classification, the Harmonic mean in ML is a measure of a test’s accuracy and is known as F1 score or subcontrary mean. The F1 score (Harmonic mean) is combined by using the recall and the precision , and is better then taking the arithmetic meanContinue Reading
R Squared is the coefficient of determination it normally ranges from 0 to 1, and provides a measure of how well observed outcomes, are replicated by the model. The formula is: Residual(Error) sum of squares (RSS), also known as (SSR) , is the sum of the squares of theContinue Reading