Computing Invariants with Transformers: Experimental Scalability and Accuracy

Vivien Maisonneuve, Olivier Hermant, François Irigoin. Computing Invariants with Transformers: Experimental Scalability and Accuracy. Electronic Notes in Theoretical Computer Science, 307:17-31, 2014. [doi]

Abstract

Abstract is missing.