Releases: IBM/graph2tac
Releases · IBM/graph2tac
Graph2Tac v1.0.4
Stable version capable of training new models or running models trained for the Graph2Tac paper.
Last working tf2 model
This is the most recent fully working commit of tf2 before its removal.
It is compatible with coq-tactician-reinforce commit 68e5faa3309c662200444e83d621951556052170.