GBRS x Proof Research