Ekaterina Komendantskya | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Luca Arnaboldi
13 publications
Wen Kokke
12 publications
Robert Atkey
8 publications
Matthew L. Daggitt
8 publications
Kevin Hammond
3 publications
František Farka
2 publications

research

∙ 02/10/2022

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

Verification of neural networks is currently a hot topic in automated th...

0 Matthew L. Daggitt, et al. ∙

research

∙ 04/30/2018

Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis

First-order resolution has been used for type inference for many years, ...

0 František Farka, et al. ∙

Success!

An error occurred