Philippe Desjardins-Proulx

@lambdaphdp.bsky.social

377 Followers · 308 Following

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

Nothing here yet.