-
‑classical algorithms to tackle domain‑specific, computationally demanding problems. Methods will be designed for near‑term (NISQ‑era) deployment, with models evaluated for expressivity, training stability
Searches related to model checking
Enter an email to receive alerts for model-checking positions