popl18 Relatively Complete Refinement Type System For Verification Of Higherorder No 4.57 MB 25:33 Play Download
Sigir 2024 T22 fp Collaborative Filtering Based On Diffusion Models Potential Of Highorder Con 12.83 MB 15:34 Play Download
5 Which Two Expressions Are Equivalent A 64k4 And 4k B 64k4 And 14k C 64k4 And 16k 1.03 MB 1:15 Play Download
cvpr23 Toward Verifiable And Reproducible Human Evaluation For Texttoimage Generation 6.10 MB 7:24 Play Download
