{"id":"https://openalex.org/W7111090217","doi":"https://doi.org/10.48550/arxiv.2512.06458","title":"Instance Dependent Testing of Samplers using Interval Conditioning","display_name":"Instance Dependent Testing of Samplers using Interval Conditioning","publication_year":2025,"publication_date":"2025-12-06","ids":{"openalex":"https://openalex.org/W7111090217","doi":"https://doi.org/10.48550/arxiv.2512.06458"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2512.06458","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.06458","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2512.06458","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Bhattacharyya, Rishiraj","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Bhattacharyya, Rishiraj","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Chakraborty, Sourav","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chakraborty, Sourav","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Pote, Yash","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pote, Yash","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Sarkar, Uddalok","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sarkar, Uddalok","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Sen, Sayantan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sen, Sayantan","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.36559998989105225,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.36559998989105225,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.23819999396800995,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.060600001364946365,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/conditioning","display_name":"Conditioning","score":0.5947999954223633},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.5688999891281128},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5569000244140625},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.5278000235557556},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.4449999928474426},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.4032000005245209},{"id":"https://openalex.org/keywords/interval-estimation","display_name":"Interval estimation","score":0.3785000145435333},{"id":"https://openalex.org/keywords/confidence-interval","display_name":"Confidence interval","score":0.3698999881744385},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.36800000071525574}],"concepts":[{"id":"https://openalex.org/C45262634","wikidata":"https://www.wikidata.org/wiki/Q5159291","display_name":"Conditioning","level":2,"score":0.5947999954223633},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.5688999891281128},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5569000244140625},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.5278000235557556},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5091999769210815},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5072000026702881},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.4449999928474426},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.41510000824928284},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.4032000005245209},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39959999918937683},{"id":"https://openalex.org/C205167067","wikidata":"https://www.wikidata.org/wiki/Q3300636","display_name":"Interval estimation","level":3,"score":0.3785000145435333},{"id":"https://openalex.org/C44249647","wikidata":"https://www.wikidata.org/wiki/Q208498","display_name":"Confidence interval","level":2,"score":0.3698999881744385},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.36800000071525574},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.3424000144004822},{"id":"https://openalex.org/C2776292839","wikidata":"https://www.wikidata.org/wiki/Q5179217","display_name":"Coverage probability","level":3,"score":0.33980000019073486},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3366999924182892},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.3215000033378601},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.3091000020503998},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.3028999865055084},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2937000095844269},{"id":"https://openalex.org/C2986012078","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling interval","level":2,"score":0.29269999265670776},{"id":"https://openalex.org/C137209882","wikidata":"https://www.wikidata.org/wiki/Q1403517","display_name":"Measurement uncertainty","level":2,"score":0.2921000123023987},{"id":"https://openalex.org/C197096303","wikidata":"https://www.wikidata.org/wiki/Q869887","display_name":"Probability mass function","level":3,"score":0.2913999855518341},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.28949999809265137},{"id":"https://openalex.org/C96608239","wikidata":"https://www.wikidata.org/wiki/Q1199823","display_name":"Statistical power","level":2,"score":0.2842000126838684},{"id":"https://openalex.org/C103402496","wikidata":"https://www.wikidata.org/wiki/Q1106171","display_name":"Prediction interval","level":2,"score":0.2840000092983246},{"id":"https://openalex.org/C53947966","wikidata":"https://www.wikidata.org/wiki/Q3546732","display_name":"Acceptance sampling","level":3,"score":0.26910001039505005},{"id":"https://openalex.org/C167723999","wikidata":"https://www.wikidata.org/wiki/Q3773214","display_name":"Sampling distribution","level":2,"score":0.26030001044273376},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.2572999894618988},{"id":"https://openalex.org/C197055811","wikidata":"https://www.wikidata.org/wiki/Q207522","display_name":"Probability density function","level":2,"score":0.2565999925136566},{"id":"https://openalex.org/C75373757","wikidata":"https://www.wikidata.org/wiki/Q7410160","display_name":"Sampling design","level":3,"score":0.2556999921798706},{"id":"https://openalex.org/C2994224358","wikidata":"https://www.wikidata.org/wiki/Q13649246","display_name":"Standard uncertainty","level":3,"score":0.2524000108242035}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2512.06458","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.06458","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2512.06458","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.06458","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Sampling":[0],"algorithms":[1],"play":[2],"a":[3,12,22,67,103,112,126,134],"pivotal":[4],"role":[5],"in":[6,44,71],"probabilistic":[7],"AI.":[8],"However,":[9],"verifying":[10],"if":[11],"sampler":[13],"program":[14],"indeed":[15],"samples":[16],"from":[17],"the":[18,45,54,82],"claimed":[19],"distribution":[20,115],"is":[21,125],"notoriously":[23],"hard":[24],"problem.":[25],"Provably":[26],"correct":[27],"testers":[28,51],"like":[29],"Barbarik,":[30],"Teq,":[31],"Flash,":[32],"CubeProbe":[33],"for":[34],"testing":[35],"of":[36,39,62,85,133],"different":[37],"kinds":[38],"samplers":[40,63,86,94],"were":[41],"proposed":[42],"only":[43],"last":[46],"few":[47],"years.":[48],"All":[49],"these":[50],"focus":[52],"on":[53],"worst-case":[55],"efficiency,":[56,89],"and":[57,111],"do":[58],"not":[59],"support":[60],"verification":[61],"over":[64,95,150],"infinite":[65],"domains,":[66],"case":[68],"occurring":[69],"frequently":[70],"Astronomy,":[72],"Finance,":[73],"Network":[74],"Security,":[75],"etc.":[76],"In":[77],"this":[78],"work,":[79],"we":[80],"design":[81],"first":[83],"tester":[84],"with":[87,129],"instance-dependent":[88],"allowing":[90],"us":[91],"to":[92,147],"test":[93],"natural":[96],"numbers.":[97],"Our":[98],"tests":[99],"are":[100,140],"developed":[101],"via":[102],"novel":[104],"distance":[105],"estimation":[106,132],"algorithm":[107],"between":[108],"an":[109,117],"unknown":[110],"known":[113],"probability":[114,130],"using":[116],"interval":[118],"conditioning":[119],"framework.":[120],"The":[121,137],"core":[122],"technical":[123],"contribution":[124],"new":[127],"connection":[128],"mass":[131],"continuous":[135],"distribution.":[136],"practical":[138],"gains":[139],"also":[141],"substantial:":[142],"our":[143],"experiments":[144],"establish":[145],"up":[146],"1000x":[148],"speedup":[149],"state-of-the-art":[151],"testers.":[152]},"counts_by_year":[],"updated_date":"2025-12-10T02:49:46.989445","created_date":"2025-12-10T00:00:00"}