research
∙
02/13/2023
Lower Bounds for Possibly Divergent Probabilistic Programs
We present a new proof rule for verifying lower bounds on quantities of ...
share
research
∙
05/27/2019
Giant Panda Face Recognition Using Small Dataset
Giant panda (panda) is a highly endangered animal. Significant efforts a...
research
∙
05/16/2019