Skip to content
conftrace_

attention-based policy

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

curvilinear structure (1) biomedical image segmentation (1) blood vessel segmentation (1) saturation-based proving (1) curvilinear segmentation (1) spatio-recurrent network (1) context-aware sampling (1) curvilinear structure segmentation (1) recurrent network (1) neural theorem proving (1)

Papers

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving AAAI 2021 Context-Aware Spatio-Recurrent Curvilinear Structure Segmentation CVPR 2019