Inference with Many Weak Instruments | Synapse