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