GitHub repository: revoluzionario/toy-math-prover
Primary language: Python
Description: A simple math theorem prover using policy-value network as main model and TreeLSTM as feature extractor.