Skip to content
View BitSecret's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
15 followers · 13 following

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Pull Shark

Organizations

@FormalGeo

Block or report BitSecret

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

Pinned Loading

  1. FormalGeo/FormalGeo FormalGeo/FormalGeo Public

    Formal representation and solving for Euclidean plane geometry problems.

    Python 13

  2. FGPS FGPS Public

    Formal geometric problem solver based on FormalGeo.

    Python 11

  3. HyperGNet HyperGNet Public

    Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network.

    Python 8 1

  4. AI4Math AI4Math Public

    Everything about AI4Math (AI for Mathematics).

    Python 17 1