IBM / graph2tac

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

Remove valid_indices #130

Closed jasonrute closed 1 year ago

jasonrute commented 1 year ago

This simple PR removes the need for valid_indices, which was already superfluous since it was always equal to range(n) where n was the length of the embedding tensor, and hence tf.gather(emb_matrix, self._valid_indices) was a no-op.

The tests all pass.