Philippe Desjardins-Proulx
BIO
Exploring {Probabilistic Programming w/ Typed λ-Calculi; Lean; Program Synthesis; Self-Improving A.I.; Evolutionary Genetics} @umontreal. Ph.D. @usherbrooke
BIO
Exploring {Probabilistic Programming w/ Typed λ-Calculi; Lean; Program Synthesis; Self-Improving A.I.; Evolutionary Genetics} @umontreal. Ph.D. @usherbrooke
Naomi Saphra
@nsaphra
Waiting on a robot body. All opinions are universal and held by both employers and family. Now a dedicated grok hate account. Accepting ML/NLP PhD students.