Ehud Hrushovski | DeepAI

DeepAI

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

Featured Co-authors

James Worrell
37 publications
Joël Ouaknine
29 publications
Michael Benedikt
18 publications
Amaury Pouly
10 publications

research

∙ 04/18/2023

Embedded Finite Models beyond Restricted Quantifier Collapse

We revisit evaluation of logical formulas that allow both uninterpreted ...

0 Michael Benedikt, et al. ∙

research

∙ 02/06/2018

Polynomial Invariants for Affine Programs

We exhibit an algorithm to compute the strongest polynomial (or algebrai...

0 Ehud Hrushovski, et al. ∙