Sort by
Refine Your Search
-
, consistent, and correct-by-construction (or corrected via proof/counterexample feedback). You will lead research and prototyping of neuro-symbolic methods that translate heterogeneous requirements (text
Searches related to structure
Enter an email to receive alerts for structure positions