TY - RPRT TI - Lifting for Arbitrary Gadgets AU - Siddharth Iyer PY - 2025 UR - https://arxiv.org/abs/2503.24351 ID - 2503.24351 ER -