Yixuan Liu

ESCL: Equivariant Self-Contrastive Learning for Sentence Representations

2023

Previous contrastive learning methods for sentence representations often focus on insensitive transformations to produce positive pairs, but neglect the role of sensitive transformations that are harmful to semantic representations. Therefore, we propose an Equivariant Self-Contrastive …

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction

2025

Smart contracts are computer programs running on blockchains to implement Decentralized Applications. The absence of contract specifications hinders routine tasks, such as contract understanding and testing. In this work, we propose a specification mining approach …