Markov Chain Monte Carlo Methods for Dynamic Student Assessment | Synapse