Skip to content
View changlinli's full-sized avatar
37 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report changlinli

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
changlinli/README.md

Hi I'm Changlin Li

I'm interested in solving problems in formal reasoning and AI safety. If need be, I write code to try solve them.

Previously I worked in the financial services industry on knowledge management and expert systems and also at a startup on WebRTC monitoring and optimization.

I have participated in two batches of Recurse Center. Once in the summer/fall of 2019 and once in the summer/fall of 2023.

At the moment, relevant to things on GitHub, I'm studying:

  1. Mechanistic interpretability for AI
  2. Proving things using formal proof assistants

And as some fun side projects:

  1. Working on a fork of the Elm compiler

Popular repositories Loading

  1. intro-to-technical-ai-safety-slides intro-to-technical-ai-safety-slides Public

    HTML 20 3

  2. peterson-tlaplus peterson-tlaplus Public

    A TLA+ Specification of Peterson's Algorithm

    TLA 5 1

  3. simple-java-nix-example simple-java-nix-example Public

    A simple example of how to compile and package a Java application using Nix

    Shell 3

  4. w4224-notes w4224-notes Public

    Notes on the Bayesian Statistics w4224 class from Columbia

    TeX 3 2

  5. import-photos import-photos Public

    Small Python script used for importing photos from a digital camera that copies photos and organizes them by date to a target location.

    Python 2 1

  6. types_presentation_slides types_presentation_slides Public

    A presentation on types given at the 2018 NE Scala Conference

    2