Daniyar Itegulov | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Bruno Woltzenlogel Paleo
5 publications
Ekaterina Lebedeva
1 publication
John Slaney
1 publication

research

∙ 03/28/2018

Handling Verb Phrase Anaphora with Dependent Types and Events

This paper studies how dependent typed events can be used to treat verb ...

0 Daniyar Itegulov, et al. ∙

research

∙ 04/11/2017

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

This paper introduces Scavenger, the first theorem prover for pure first...

0 Daniyar Itegulov, et al. ∙