leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Peiyang Song
Peiyang-Song
CS Undergrad @ Caltech. AI Researcher @ Stanford.
California Institute of Technology Pasadena, CA, United States of America
Jean Kossaifi
JeanKossaifi
Senior Research Scientist at NVIDIA AI (current), previously Samsung AI Center, Cambridge, PhD at Imperial College London.
NVIDIA AI San Francisco, CA
C4AI Community
for-ai
Cohere For AI is a non-profit research lab that seeks to solve complex machine learning problems and are focused on creating more points of entry to ML research
Toronto, Canada
Harsha Nelaturu
nelaturuharsha
Visual Computing, Saarland 2023 | MIT 2018 | Prev Rediscovery.io, RunwayML, Responsive Environments, MIT Media Lab, .
Germany
Subhojeet Pramanik
subho406
Reinforcement Learning Research at RLAI, Alberta Machine Intelligence Institute (Amii)
University of Alberta Edmonton, Canada
Khurram Javed
khurramjaved96
Working on real-time reinforcement learning for robots
University of Alberta Canada
Haruto Tanaka
WINUprj
M1 student @ UofA. Research Assistant @ Univeristy of Alberta/Amii. Interested in continual/meta learning.
Alex Kearney
Kongaloosh
Co-founder @ai-startup
Fmr @rlai-lab PhD
Ex DeepMind
Co-founder @ Artificial.Agency Edmonton, Alberta, Canada
Joshua Joshua George
joshuahey
Math Junior at University of Alberta. Currently interested in research in mathematics. I am open to discussing topics in DS/ML/Algos
University of Alberta Edmonton, Alberta, Canada
Emily Halina
emily-halina
I'm a PhD student at the University of Alberta! I'm interested in computational creativity, human-AI co-creative systems, and machine learning!
Edmonton, Alberta
John Bowman
johncbowman
Mathematics Professor, University of Alberta
[email protected] Edmonton, Alberta, Canada
Erfan Miahi
erfanMhi
Currently engrossed in the field of RL < Mainly interested in discovering the proper mathematical definition of Intelligence < ML Researcher
University of Alberta Canada, Edmonton
Steven Tang
steventango
I am a CS student at the University of Alberta, with interests in artificial intelligence, reinforcement learning, and bioinformatics!
@TrustScience Edmonton, Alberta
Grace Mullane
gracemullane
Currently studying Computing Science @ualberta, Athlete, Health & Design
University of Alberta Edmonton
Sandy Huang
shearpaladin
I'm currently a Cloud Engineer.
My goal is to learn to become a master developer!
Ualberta Edmonton
Timothee Legros
timolegros
University of Alberta graduate with a passion for developing decentralized systems and designing distributed cloud architectures.
@hicommonwealth
Andrew Li
Zeyu-Li
@Intuit Canada
Aysha
AyshaAraien
University of Alberta BSc. Statistics 2020 graduate. Member of @adas-team.
Edmonton, AB
Justin Stevens
justinstevens42
University of Alberta Master's Student. Author of the textbook "Olympiad Number Theory through Challenging Problems".
Giancarlo Pernudi Segura
giancarlopernudisegura
Former research assistant @ CDOL;
ex-CWO @neuralbertatech;
Former President @UndergraduateArtificialIntelligenceClub
@UndergraduateArtificialIntelligenceClub Canada
Akrash Sharma
Akarsh654
Research Assistant @ AI Computation Team, Wishart Lab | Past Data Science Intern @ RBC Amplify | Past President @Google-DSC-UAlberta
University of Alberta Canada
Devanshu Ramaiya
devanshu125
Data Science undergrad | Kaggle Competitions and Notebooks Expert
Dubai, UAE