BitSecret

Masters student, School of computer engineering and science, Shanghai University, China.

Pinned Repositories

AI4Math
Everything about AI4Math (AI for Mathematics).
Language:Python17 4 20
bitsecret.github.io
Language:HTML0 1 10
DAQQSO
A multi-criteria decision-making method.
Language:C++0 1 00
euclidesprobationem.github.io
Omega Proof Group Website
Language:HTML00
FGPS
Formal geometric problem solver based on FormalGeo.
Language:Python11 3 20
formalgeo7k
formalgeo7k-v1 annotation.
Language:Python00
HyperGNet
Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network.
Language:Python8 2 11
iMeeting
Intelligent conference room management system.
Language:Java0 1 00
Datasets
Dataset Annotation Tools and Dataset Release for formal Euclidean plane geometry problems.
Language:Python7 1 13
FormalGeo
Formal representation and solving for Euclidean plane geometry problems.
Language:Python10 1 20

BitSecret's Repositories

BitSecret/AI4Math
Everything about AI4Math (AI for Mathematics).
Language:Python17 4 20
BitSecret/FGPS
Formal geometric problem solver based on FormalGeo.
Language:Python11 3 20
BitSecret/HyperGNet
Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network.
Language:Python8 2 11
BitSecret/bitsecret.github.io
Language:HTML0 1 10
BitSecret/DAQQSO
A multi-criteria decision-making method.
Language:C++0 1 00
BitSecret/euclidesprobationem.github.io
Omega Proof Group Website
Language:HTML00
BitSecret/formalgeo7k
formalgeo7k-v1 annotation.
Language:Python00
BitSecret/iMeeting
Intelligent conference room management system.
Language:Java0 1 00
BitSecret/NCHManager
Non-cultural heritage project management system.
Language:JavaScript01