Taming the Sign Problem in Auxiliary-Field Quantum Monte Carlo Using Accurate Wave Functions | Synapse