Sign in
Filip Bártek
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Feature Hierarchies
Neural Architecture
Learning Models
Biologically Plausible
Top Venues
PAAR+SC²@IJCAR
CADE
LPAR
</>
Publications
</>
Filip Bártek
,
Martin Suda
How Much Should This Symbol Weigh? A GNN-Advised Clause Selection.
LPAR
(2023)
Filip Bártek
,
Martin Suda
Neural Precedence Recommender.
CADE
(2021)
Filip Bártek
,
Martin Suda
Learning Precedences from Simple Symbol Features.
PAAR+SC²@IJCAR
(2020)