225 Followers 572 FollowingSecond year PhD @UW | Post-Training, LLM reasoning and synthetic dataset.
https://t.co/cYAkbnCsCp
Open to chat and collaborate!
211 Followers 295 FollowingPhD @MITEECS | Alum @UofTCompSci @SharifSocial | Longtermist thinker 🌍 | Trying to decipher the chaos... while wondering where all the missing pens went!
233 Followers 403 Following프로그래밍과 증명을 합니다.
I write programs and proofs. Love Haskell, Martin-Löf type theory, Nix package manager, and Hoare logic.
https://t.co/KGHmRVtwWb
211 Followers 295 FollowingPhD @MITEECS | Alum @UofTCompSci @SharifSocial | Longtermist thinker 🌍 | Trying to decipher the chaos... while wondering where all the missing pens went!
2K Followers 581 FollowingAssociate professor in CS @ National Taiwan University. PhD in CS from EPFL. Learning, optimization, statistics, and some quantum information.
233 Followers 403 Following프로그래밍과 증명을 합니다.
I write programs and proofs. Love Haskell, Martin-Löf type theory, Nix package manager, and Hoare logic.
https://t.co/KGHmRVtwWb
5K Followers 0 FollowingVirtual seminar series featuring the latest advances in theoretical reinforcement learning. Seminars (approximately) every Tuesday at 6pm UTC.
8K Followers 236 FollowingGeorge Lowther, Author of Almost Sure blog, on maths, probability and stochastic calculus.
Also on YouTube https://t.co/VyOijwbe9l
37K Followers 2K FollowingInformation Geometry, Information Theory, and Geometric Science of Information (GSI) for machine learning and AI, visual computing, HPC, pyBregMan lib @SonyCSL