Vadiee, Farhad

2 publications

AAAI 2023 From Width-Based Model Checking to Width-Based Automated Theorem Proving Mateus de Oliveira Oliveira, Farhad Vadiee

ICML 2021 Unitary Branching Programs: Learnability and Lower Bounds Fidel Ernesto Diaz Andino, Maria Kokkou, Mateus De Oliveira Oliveira, Farhad Vadiee