Show HN: A Transformer model that preserves logical equivalencehuggingface.co9 pointssnowkylina year ago