Philippe Desjardins-Proulx
33 posts
Philippe Desjardins-Proulx
@LambdaPhDP
Exploring {Probabilistic Programming w/ Typed λ-Calculi; Lean; Program Synthesis; Self-Improving A.I.; Evolutionary Genetics} @umontreal. Ph.D. @usherbrooke
Canada Katılım Nisan 2010
1.8K Takip Edilen1.5K Takipçiler
Henüz tweet yok