ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor (ArXiv cs.LO Recent Papers, 2026)