Ali Tavakoli
Selected Projects
Bayesian Inference via MCMC (Metropolis–Hastings)
Sep 2025
Implemented the Metropolis–Hastings algorithm for sampling from complex distributions and used MCMC for parameter estimation in a linear model.
SAT-Based Solver for Sokoban
Jun 2024 | GitHub
Modeled the puzzle using propositional logic, reduced it to SAT, converted constraints to CNF, and decoded solution paths from the SAT solver's output.
Multi-Armed Bandit Simulation (Bakery Problem)
Jul 2023 | GitHub
Implemented Thompson Sampling with Beta–Binomial models, simulating stochastic rewards and evaluating performance in Python (NumPy, SciPy).