We gratefully acknowledge support from
the Simons Foundation and member institutions.

Hao Wu and Jie Wang are qualified to endorse.

Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets

Hao Wu: Is registered as an author of this paper.
Can endorse for cs.LO, cs.PL. (why?)
Jie Wang: Is registered as an author of this paper.
Can endorse for cs.LG, cs.LO, cs.MS, cs.SC, math.AC, math.AG, math.CO, math.DS, math.FA, math.OA, math.OC, math.RA. (why?)

Bican Xia, Xiakun Li, Naijun Zhan and Ting Gan are not registered as owners of this paper. (why?)