107 citations · 268 across the 12 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022★ 1 cited
Local Search For Satisfiability Modulo Integer Arithmetic Theories
Shaowei Cai, Bohan Li, Xindi Zhang
Satisfiability Modulo Theories (SMT) refers to the problem of deciding the satisfiability of a formula with respect to certain background first order theories. In this paper, we fo…
eess.IV2022
Multi-rate adaptive transform coding for video compression
Lyndon R. Duong, Bohan Li, Cheng Chen +1
Contemporary lossy image and video coding standards rely on transform coding, the process through which pixels are mapped to an alternative representation to facilitate efficient d…
cs.CL2022★ 14 cited
MetaPrompting: Learning to Learn Better Prompts
Yutai Hou, Hongyuan Dong, Xinghao Wang +2
Prompting method is regarded as one of the crucial progress for few-shot nature language processing. Recent research on prompting moves from discrete tokens based ``hard prompts''…