Skip to content
View Qian-Cheng-nju's full-sized avatar
13 followers · 9 following
  • Nanjing University
  • China Nanjing

Achievements

Achievement: Pull SharkAchievement: Starstruck

Achievements

Achievement: 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 Synthesizing High-Quality TLA+ Specifications from Source Code

    Python 58 11

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

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

    TLA 6 1

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

    System Intelligence Benchmark

    TLA 32 3