#Ai4math
Showing 3 of 3 repositories tagged #ai4math, ranked by stars
lean-dojo
TorchLean
TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.
Score
100
★ 99
⑂ 11
+11/day
Lean
deep-symbolic-mathematics
TPSR
[NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"
Score
0
★ 82
⑂ 17
—
Python
sjtuytc
ResearchMathAgent
Research Math Agents, Official code release for our paper RMA
Score
0
★ 26
⑂ 3
+1/day
TeX