Gal Vardi

发表

Ohad Shamir, Gal Vardi, O. Shamir, 2020, COLT.

Gilad Yehudai, Ohad Shamir, Gal Vardi, 2021, NeurIPS.

O. Shamir, M. Irani, Gal Vardi, 2022, ArXiv.

O. Shamir, Gal Vardi, Gilad Yehudai, 2022, COLT.

O. Shamir, M. Irani, Gal Vardi, 2022, ArXiv.

O. Shamir, M. Irani, Gal Vardi, 2022, NeurIPS.

P. Bartlett, Nathan Srebro, Wei Hu, 2022, ICLR.

O. Kupferman, Gal Vardi, 2017, Formal Methods in System Design.

Nathan Srebro, O. Shamir, Gal Vardi, 2021, NeurIPS.

Nathan Srebro, O. Shamir, Gal Vardi, 2022, NeurIPS.

Gilad Yehudai, Ohad Shamir, Gal Vardi, 2021, ICLR.

O. Shamir, Gal Vardi, Nadav Timor, 2022, ALT.

Ohad Shamir, Gal Vardi, O. Shamir, 2020, Electron. Colloquium Comput. Complex..

O. Shamir, Gal Vardi, Gilad Yehudai, 2022, NeurIPS.

O. Shamir, Gal Vardi, Gilad Yehudai, 2021, NeurIPS.

Amit Daniely, Gal Vardi, Amit Daniely, 2020, NeurIPS.

Orna Kupferman, Shibashis Guha, Gal Vardi, 2018, Autonomous Agents and Multi-Agent Systems.

Orna Kupferman, Gal Vardi, O. Kupferman, 2018, ICALP.

James B. Simon, Gal Vardi, Lijia Zhou, 2023, ArXiv.

Orna Kupferman, Gal Vardi, O. Kupferman, 2018, CONCUR.

Gal Vardi, Nirmit Joshi, N. Srebro, 2023, arXiv.org.

Orna Kupferman, Dan Hefetz, Amir Lellouche, 2018, MFCS.

Orna Kupferman, Gal Vardi, O. Kupferman, 2016, MFCS.

Gal Vardi, Zhiwei Xu, Yutong Wang, 2023, ArXiv.

Orna Kupferman, Gal Vardi, O. Kupferman, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Gal Vardi, Nirmit Joshi, N. Srebro, 2023, ArXiv.

M. Irani, Gal Vardi, Gilad Yehudai, 2022, NeurIPS.

Amit Daniely, Gal Vardi, N. Srebro, 2023, NeurIPS.

Gal Vardi, N. Srebro, Amit Daniely, 2023, ArXiv.