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
Enter an email to receive alerts for software-testing positions