EasyChair Smart SlideUser guide
Author: Bartosz Piotrowski

This page shows all presentations of this author published in EasyChair Smart Slide.

Towards Learning Quantifier Instantiation in SMT

Towards Learning Quantifier Instantiation in SMT

Mikolas Janota, Jelle Piepenbrock and Bartosz Piotrowski

ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback

ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback

Bartosz Piotrowski and Josef Urban

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair