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