C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Farhad Vadiee
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Temporal Properties
Automated Theorem Proving
Automated Verification
Deterministic Finite Automaton
Top Venues
CoRR
IPEC
ICML
AAAI
</>
Publications
</>
Mateus de Oliveira Oliveira
,
Farhad Vadiee
From Width-Based Model Checking to Width-Based Automated Theorem Proving.
AAAI
(2023)
Emmanuel Arrighi
,
Pål Grønås Drange
,
Kenneth Langedal
,
Farhad Vadiee
,
Martin Vatshelle
,
Petra Wolf
PACE Solver Description: Zygosity.
IPEC
(2023)
Mateus de Oliveira Oliveira
,
Farhad Vadiee
From Width-Based Model Checking to Width-Based Automated Theorem Proving.
CoRR
(2022)
Fidel Ernesto Diaz Andino
,
Maria Kokkou
,
Mateus de Oliveira Oliveira
,
Farhad Vadiee
Unitary Branching Programs: Learnability and Lower Bounds.
ICML
(2021)