BV Pushforward of Palatini-Cartan gravity

The goal of this note is to show that the standard BV formulation of gravity in the Palatini-Cartan formalism is equivalent, using a BV pushforward, to an AKSZ-like version compatible with BFV data on the boundary.