Amir Pouya Aghasadeghi

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 1

Top Topics

Vector Representation

First Order Logic

Theorem Proving

Top Venues

Publications

Amir Pouya Aghasadeghi, Jan Van den Bussche, Julia Stoyanovich
Temporal graph patterns by timed automata. CoRR (2022)
Amir Pouya Aghasadeghi, Mohadeseh Bastan, Shahram Khadivi
Rebuilding Phrase Table Scores from Monolingual Resources Using Neural Networks Vector Representations. CoRR (2015)