Before revision:   We prove our estimator is consistent, asymptotically normal, and semi-parametrically efficient.
After revision:  By regularizing the balancing weights, it does not require ad hoc trimming or censoring. We prove our estimator is consistent, asymptotically normal, and semi-parametrically efficient.