Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Csisz��rik, Adri��n"'
Autor:
Csisz��rik, Adri��n, K��r��si-Szab��, P��ter, Matszangosz, ��kos K., Papp, Gergely, Varga, D��niel
We employ a toolset -- dubbed Dr. Frankenstein -- to analyse the similarity of representations in deep neural networks. With this toolset, we aim to match the activations on given layers of two trained neural networks by joining them with a stitching
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::03916d98234b4419abfcc0ddb562009e
http://arxiv.org/abs/2110.14633
http://arxiv.org/abs/2110.14633
We present a reinforcement learning (RL) based guidance system for automated theorem proving geared towards Finding Longer Proofs (FLoP). Unlike most learning based approaches, we focus on generalising from very little training data and achieving nea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4dc660d89a434342e76d0a8d9f769205
http://arxiv.org/abs/1905.13100
http://arxiv.org/abs/1905.13100