-
: Equivalence checking of quantum circuits. This task will include the identification of suitable metrics for approximate equivalence and algorithms to efficiently compute approximation distances. A potential
-
candidate will develop and test novel user interfaces that integrate state-of-the-art Large Language Models (LLMs) with novel logic-based multi-robot planning algorithms. This work will be evaluated through
Searches related to evolutionary algorithms
Enter an email to receive alerts for evolutionary-algorithms positions