BitSecret/hello-agents
๐ ใไป้ถๅผๅงๆๅปบๆบ่ฝไฝใโโไป้ถๅผๅง็ๆบ่ฝไฝๅ็ไธๅฎ่ทตๆ็จ
Leader of @FormalGeo. I am interested in AI4Math, Iterative Learning Systems, and Agents.
Repositories
BitSecret/FGPS
Formal geometric problem solver based on FormalGeo.
BitSecret/FormalGeo7K
FormalGeo7K datasets annotation.
BitSecret/bitsecret.github.io
BitSecret/PhyOptiNet
A Physics-Enhanced Deep Learning Framework for Optical Materials Design.
BitSecret/HyperGNet
Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network.
BitSecret/AI4Geometry
Everything about AI4Geometry (AI for geometry problem solving / geometry theorem proving).
BitSecret/FGeo-ISRL
BitSecret/FGeo-NSS
BitSecret/FGeo-Parser
BitSecret/SimpleAttnViz
A Simple Method for Attention Visualization.
BitSecret/FGeo-TP
FGeo-TP
BitSecret/FGeoDRL
BitSecret/euclidesprobationem.github.io
Omega Proof Group Website
BitSecret/DAQQSO
A multi-criteria decision-making method.