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