@lambdaphdp
Exploring {Probabilistic Programming w/ Typed λ-Calculi; Lean; Program Synthesis; Self-Improving A.I.; Evolutionary Genetics} @ umontreal. Ph.D. USherbrooke