IBM / graph2tac

Graph-based neural tactic prediction models for Coq.
Apache License 2.0
7 stars 4 forks source link

Upgrade tensorflow and tensorflow_gnn #80

Open jasonrute opened 1 year ago

jasonrute commented 1 year ago

Currently, our code only works with tensorflow < 2.10 and tensorflow_gnn <0.3. Here are the specific issues with upgrading.

tensorflow_gnn==0.3

Causes an issue in prediction with the tf_gnn model. In particular, to reproduce:

tensorflow==2.10

Causes an issue when training the TF-GNN model. To reproduce:

fidel-schaposnik commented 1 year ago

The issue with TF-GNN is related to https://github.com/tensorflow/gnn/pull/96 , which removed tfgnn.keras.layers.TotalSize and introduced tfgnn.keras.layers.MakeEmptyFeature. Now it should be possible (and actually easier) to create the empty hidden_state feature for the tfgnn.GraphTensor context, where the node hidden states are later pooled at the end of message-passing.