{"id":"W4414988640","doi":"10.1145/3763160","title":"Products of Recursive Programs for Hypersafety Verification","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Key (lock); Product (mathematics); Class (philosophy); Property (philosophy); Set (abstract data type); Simple (philosophy); Parametric statistics","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003435559,0.0006250025,0.0005016376,0.000653406,0.000875892,0.001935098,0.001826586,0.000967332,0.003689437],"category_scores_gemma":[0.0112468,0.0006347776,0.001175351,0.000633882,0.005562508,0.007438308,0.003111779,0.00276215,0.0006444937],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009020456,"about_ca_system_score_gemma":0.001511751,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001167045,"about_ca_topic_score_gemma":0.001011945,"domain_scores_codex":[0.9972171,0.0009737871,0.0001509679,0.0005656047,0.0008569032,0.000235694],"domain_scores_gemma":[0.9900739,0.006138937,0.0005707907,0.002357557,0.000698777,0.0001599867],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009456359,0.00004952451,0.001006148,0.0001197548,0.00002041901,0.0001551651,0.0005913529,0.02722711,0.00612,0.910812,0.0006926692,0.05311136],"study_design_scores_gemma":[0.00003004309,0.0001103235,0.0002194411,0.00004978638,0.00004473843,0.0002369176,0.0001061347,0.218098,0.02297784,0.7451093,0.01298048,0.00003706209],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01858418,0.00006711194,0.9780986,0.0001363323,0.00001317834,0.00004579789,0.00002658097,0.000771762,0.002256345],"genre_scores_gemma":[0.4438442,0.0002254874,0.5520214,0.0001639128,0.00004865962,0.0002677842,0.0001937692,0.0005312566,0.002703447],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003689437,"threshold_uncertainty_score":0.01816916,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02137792381818682,"score_gpt":0.2885382608968596,"score_spread":0.2671603370786728,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}