Skip to content
View Qian-Cheng-nju's full-sized avatar
16 followers · 9 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Starstruck

Organizations

@specula-org

Block or report Qian-Cheng-nju

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Pinned Loading

  1. specula-org/Specula specula-org/Specula Public

    Specula: A framework for finding deep bugs in system code using TLA+

    Python 94 14

  2. specula-org/SysMoBench specula-org/SysMoBench Public

    SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

    TLA 11 1

  3. sys-intelligence/system-intelligence-benchmark sys-intelligence/system-intelligence-benchmark Public

    System Intelligence Benchmark

    TLA 48 12