Skip to content
View wcook04's full-sized avatar
8 followers · 1 following

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Block or report wcook04

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse
wcook04/README.md

Will Cook

I use AI to do maths research and build software, and to make that work easier for other people to understand.

Start here: my projects, papers and videos

My home page lists the websites, videos and source code for each project.

Will Cook's home page, with the introduction video and project links

Watch the introduction · YouTube channel

The pinned repositories below are selected projects. Repositories marked “Forked from” are copies used to contribute to other people's projects.

Pinned Loading

  1. lean-exposition lean-exposition Public

    Tools for writing three explanations of a mathematical result, with links from each paper to the computer-checked proof.

    TypeScript

  2. plectis-erdos plectis-erdos Public

    Papers, proofs and research records for eight Erdős problems, including what is established and what remains open.

    Lean 5

  3. proof-reader proof-reader Public

    Read a research paper beside its Lean proof code, with links to exact statements and a diagram of how the proof fits together.

    TypeScript

  4. plectis-erdos-lean plectis-erdos-lean Public

    Computer-checkable proofs and recorded checks for research on eight Erdős problems. Papers and current claims: wcook04/plectis-erdos.

    Lean 1 1

  5. plectis-atlas plectis-atlas Public

    Read OpenAI's mathematics papers, inspect their proof code and compare published assessments from other groups. Independent project.

    Python

  6. practical-formal-verification practical-formal-verification Public

    Python programs and examples for checking research and software results: rerunning affected tasks, checking AI work claims and comparing forecasts.

    Python 3