Unitary Branching Programs: Learnability and Lower Bounds. - Fidel Ernesto Diaz Andino; Maria Kokkou; Mateus de Oliveira Oliveira; Farhad Vadiee (ICML, 2021)

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

PACE Solver Description: Zygosity. - Emmanuel Arrighi; Pål Grønås Drange; Kenneth Langedal; Farhad Vadiee; Martin Vatshelle; Petra Wolf 002 (IPEC, 2023)

State Canonization and Early Pruning in Width-Based Automated Theorem Proving. - Mateus de Oliveira Oliveira; Farhad Vadiee (FSCD, 2024)

A Supervised Machine Learning Approach for Supporting Editorial Article Selection. - Bilal Mahmood; Mehdi Elahi; Farhad Vadiee; Samia Touileb; Lubos Steskal (INRA@RecSys, 2024)

Creating Artificial Students that Never Existed: Leveraging Large Language Models and CTGANs for Synthetic Data Generation. - Mohammad Khalil; Farhad Vadiee; Ronas Shakya; Qinyi Liu (LAK, 2025)

Can Synthetic Data be Fair and Private? A Comparative Study of Synthetic Data Generation and Fairness Algorithms. - Qinyi Liu; Oscar Blessed Deho; Farhad Vadiee; Mohammad Khalil; Srecko Joksimovic; George Siemens (LAK, 2025)

A Showdown of ChatGPT vs DeepSeek in Solving Programming Tasks. - Ronas Shakya; Farhad Vadiee; Mohammad Khalil (CoRR, 2025)