LLVM powers the core development tools, operating systems, and most applications at Apple Computer, where it long ago ...
This repository contains the code and data used for the paper "Graph Neural Networks For Mapping Variables Between Programs", accepted at ECAI 2023. We present a novel graph program representation ...
New benchmarks show semantic code graphs helping coding agents find change locations faster and complete updates more ...
Abstract: This article proposes a safety-critical control design approach for nonlinear control affine systems in the presence of matched and unmatched uncertainties. Our constructive framework ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results