Login / Signup
Jáchym Barvínek
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 2
Top Topics
Semi Automatic
Learning Scheme
Image Segmentation
Learning Problems
Top Venues
ILP (Late Breaking Papers)
ILP
</>
Publications
</>
Jáchym Barvínek
,
Timothy van Bremen
,
Yuyi Wang
,
Filip Zelezný
,
Ondrej Kuzelka
Automatic Conjecturing of P-Recursions Using Lifted Inference.
ILP
(2021)
Jáchym Barvínek
,
Filip Zelezný
A First-Order Axiomatization for Transition Learning with Rich Constraints.
ILP (Late Breaking Papers)
(2017)