Ali Tavakoli
Selected Projects
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.
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.
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).