Hardware and software: verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings

Veröffentlicht 2014

Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 ; proceedings

Veröffentlicht 2011

LEARNING DETERMINISTIC WEIGHTED AUTOMATA WITH QUERIES AND COUNTEREXAMPLES

von Weiss, Gail
Veröffentlicht in NeurIPS (33. : 2019 : Vancouver, British Columbia) 32nd Conference on Neural Information Processing Systems (NeurIPS 2019) ; Volume 11 of 20 (2020)

THINKING LIKE TRANSFORMERS

von WEISS, GAIL
Veröffentlicht in International Conference on Machine Learning (38. : 2021 : Online) International Conference on Machine Learning (ICML 2021 ; Part 14 of 16 (2022)

STRUCTURAL LANGUAGE MODELS OF CODE

von Alon, Uri
Veröffentlicht in International Conference on Machine Learning (37. : 2020 : Online) 37th International Conference on Machine Learning (ICML 2020) ; Part 1 of 15 (2021)

Generative AI success stories : leveraging the superpowers of artificial intelligence for business transformation.

Veröffentlicht 2024