%PDF-1.5
%
1 0 obj
<<
/Type /Metadata /Subtype /XML
/Length 2664
>>
stream
AI Verification, Testing, Sampler Verification, Property Testing
MiKTeX pdfTeX-1.40.17
Unknown
This is MiKTeX-pdfTeX 2.9.6000 (1.40.17)
2019-06-07T07:24:53+05:30
TeX
2019-06-07T07:24:53+05:30
2019-06-07T07:24:53+05:30
uuid:70f53404-cb90-4544-9d68-62d05f434303
uuid:060836f7-8244-4832-9976-b681f69f270b
True
https://www.aaai.org
application/pdf
On Testing of Uniform Samplers
Copyright c
2019, Association for the Advancement of Artificial
AAAI Proceedings Volume 33 Number 1
Sourav Chakraborty, Kuldeep S. Meel
AI Verification, Testing, Sampler Verification, Property Testing
endstream
endobj
4 0 obj
<<
/Length 4670
/Filter /FlateDecode
>>
stream
xڕ[Iu`bVDĎQL\m!IH@S*zoI@el(ƚi007C)0Cem>P..keAL(3n=ԽKPU~o#WG:vWLB'V̎bt"">ZGk"R}im{rDzSR1ldOm7Git!x_t CurŘ`=qY'=ñZ[<~ho[lYH@]˂&7WLz =w-}eAYJXBQx0V!ȳlpn_n@h$zX2p N{W EM)-WʇgiTi_m
btb53>~V,hIe3ɶJ {}DaFv2d`ڶG]m~L
h>_,c_*,m]/߶6Y6^眾#!%R&%x41{HTU/G_*6I%:2ChCcAuSo/R^[m ~cE.H#jnfL;7MO.#T5~X$ז+i$#DJVTTAmu1]p = ,,eaz@-sitS4zTC