Quantum Circuit Reasoning Models: A Variational Framework for Differentiable Logical Inference