Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Shinnar, Avi"'
Despite a growing body of work at the intersection of deep learning and formal languages, there has been relatively little systematic exploration of transformer models for reasoning about typed lambda calculi. This is an interesting area of inquiry f
Externí odkaz:
http://arxiv.org/abs/2304.10500
