9 citations · 9 across the 3 of their papers we have counts for
4 papers
Human-AI Collaboration with Misaligned Preferences
Jiaxin Song, Parnian Shahkar, Kate Donahue +1
In many real-life settings, algorithms play the role of assistants, while humans ultimately make the final decision. Often, algorithms specifically act as curators, narrowing down…
On the Existence and Complexity of Core-Stable Data Exchanges
Jiaxin Song, Pooja Kulkarni, Parnian Shahkar +1
The rapid growth of data-driven technologies and the emergence of various data-sharing paradigms have underscored the need for efficient and stable data exchange protocols. In any…
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
Hongbo Wen, Hanzhi Liu, Jiaxin Song +3
Blockchain adoption has surged with the rise of Decentralized Finance (DeFi) applications. However, the significant value of digital assets managed by DeFi protocols makes them pri…
Equational Bit-Vector Solving via Strong Gröbner Bases
Jiaxin Song, Hongfei Fu, Charles Zhang
Bit-vectors, which are integers in a finite number of bits, are ubiquitous in software and hardware systems. In this work, we consider the satisfiability modulo theories (SMT) of b…