Sort by
Refine Your Search
-
Language Models (LLMs) to analyze the compliance of treaties and agreements, including for example bilateral agreements that are particularly relevant for operationalizing Article 6 of the Paris Agreement
-
, including those appearing in string theory. 2. To uncover the universal algebraic structures of integrable models. 3. To construct new integrable instances of gauge/gravity duality. 4. To investigate
Searches related to model checking
Enter an email to receive alerts for model-checking positions