Also available: the recorded lectures from the 2021 course instance (most in Swedish, some in English). This repository is mainly the home of the DSLsofMath book (originating from the course lecture ...
This project attempts to formalize the process of using LLMs as template generators in a reliable, reproducible, and reviewable way. GraphMD proves you don't need AGI for effective AI assistance. You ...
Professor of Management Science Associate Dean for Research and Innovation Maria Paola Scaparra is a Professor of Management Science and a member of the Centre for Logistics and Heuristic Optimisation ...
1 School of Computer Science and Cyber Engineering, Guangzhou University, Guangzhou, China. 2 School of Cyberspace Security, Guangzhou University, Guangzhou, China. Genetic Programming (GP) is an ...
Forest management can be seen as a sequential decision-making problem to determine an optimal scheduling policy, e.g., harvest, thinning, or do-nothing, that can mitigate the risks of wildfire. Markov ...
Partial differential equations (PDEs) are among the most ubiquitous tools used in modeling problems in nature. However, solving high-dimensional PDEs has been notoriously difficult due to the “curse ...
The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results