Show HN: A Transformer model that preserves logical equivalence huggingface.co 8 points by snowkylin 16 hours ago