70 citations · 161 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021★ 2 cited
Cross-Lingual Transfer Learning for Statistical Type Inference
Zhiming Li, Xiaofei Xie, Haoliang Li +3
Hitherto statistical type inference systems rely thoroughly on supervised learning approaches, which require laborious manual effort to collect and label large amounts of data. Mos…
cs.CR2021★ 10 cited
Formal Analysis of Composable DeFi Protocols
Palina Tolmach, Yi Li, Shang-Wei Lin +1
Decentralized finance (DeFi) has become one of the most successful applications of blockchain and smart contracts. The DeFi ecosystem enables a wide range of crypto-financial activ…