Sort by
Refine Your Search
-
in neuro-symbolic AI / verifiable reasoning, demonstrated by publications and/or impactful preprints/software * Experience with at least one of: 1. LLMs for structured reasoning (autoformalization
Searches related to software testing short course
Enter an email to receive alerts for software-testing-short-course positions