-
to one or several of the above topics. For more information on the research directions, applicants are encouraged to check Prof.Pierre Youssef’s research profile. The probability group at New York
-
algorithmic perspectives on large language models Statistical learning theory and complexity analysis Automated theorem proving and formal methods Random matrix theory and its applications in modern AI systems
Searches related to model checking
Enter an email to receive alerts for model-checking positions