Follow
Farhad Vadiee
Farhad Vadiee
Verified email at uib.no - Homepage
Title
Cited by
Cited by
Year
From width-based model checking to width-based automated theorem proving
M de Oliveira Oliveira, F Vadiee
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6297-6304, 2023
42023
Creating Artificial Students that Never Existed: Leveraging Large Language Models and CTGANs for Synthetic Data Generation
M Khalil, F Vadiee, R Shakya, Q Liu
arXiv preprint arXiv:2501.01793, 2025
32025
Can Synthetic Data be Fair and Private? A Comparative Study of Synthetic Data Generation and Fairness Algorithms
Q Liu, O Deho, F Vadiee, M Khalil, S Joksimovic, G Siemens
arXiv preprint arXiv:2501.01785, 2025
22025
PACE Solver Description: Zygosity
E Arrighi, PG Drange, K Langedal, F Vadiee, M Vatshelle, P Wolf
18th International Symposium on Parameterized and Exact Computation (IPEC …, 2023
12023
A Supervised Machine Learning Approach for Supporting Editorial Article Selection
B MAHMOOD, M ELAHI, F VADIEE, S TOUILEB, L STESKAL
2024
State Canonization and Early Pruning in Width-Based Automated Theorem Proving
M de Oliveira Oliveira, F Vadiee
9th International Conference on Formal Structures for Computation and …, 2024
2024
From Width-Based Model Checking to Width-Based Automated Theorem Proving
MO Oliveira, F Vadiee
arXiv preprint arXiv:2205.10995, 2022
2022
Unitary Branching Programs: Learnability and Lower Bounds
FED Andino, M Kokkou, MDO Oliveira, F Vadiee
International Conference on Machine Learning, 297-306, 2021
2021
Unitary Branching Programs: Learnability and Lower Bounds
FE Diaz Andino, M Kokkou, MDO Oliveira, F Vadiee
Proceedings of Machine Learning Research, 2021
2021
An Upper Bound for Double Total Domination Set
A Jafari, S Alipour, E Mahmoodian, F Vadiee
2018
The system can't perform the operation now. Try again later.
Articles 1–10