Author: Andrei Voronkov

Author: Andrei Voronkov

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

Synthesis of Recursive Programs in Saturation

Synthesis of Recursive Programs in Saturation

Petra Hozzová, Daneshvar Amrollahi, Márton Hajdu, Laura Kovács, Andrei Voronkov and Eva Maria Wagner

Spider: Learning in the Sea of Options

Spider: Learning in the Sea of Options

Andrei Voronkov

Program Synthesis in Saturation

Program Synthesis in Saturation

Petra Hozzová, Laura Kovács, Chase Norman and Andrei Voronkov

Induction with Generalization in Superposition Reasoning

Induction with Generalization in Superposition Reasoning

Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov

Induction in Saturation-Based Proof Search

Induction in Saturation-Based Proof Search

Giles Reger and Andrei Voronkov

Basic Hilbert Bases

Basic Hilbert Bases

Nikolaj Bjorner and Andrei Voronkov

Andrei Voronkov

First-Order Interpolation and Interpolating Proofs Systems

First-Order Interpolation and Interpolating Proofs Systems

Laura Kovács and Andrei Voronkov

A FOOLish Encoding of the Next State Relations of Imperative Programs

A FOOLish Encoding of the Next State Relations of Imperative Programs

Evgenii Kotelnikov, Laura Kovacs and Andrei Voronkov

Presentations in this collection: 9