research
∙
07/24/2023
Graph Neural Networks For Mapping Variables Between Programs – Extended Version
Automated program analysis is a pivotal research domain in many areas of...
share
research
∙
10/07/2022
Machine Learning Meets The Herbrand Universe
The appearance of strong CDCL-based propositional (SAT) solvers has grea...
research
∙
05/04/2022
The Isabelle ENIGMA
We significantly improve the performance of the E automated theorem prov...
research
∙
02/10/2021