{"id":"W4414988709","doi":"10.1145/3763096","title":"Qualified Types with Boolean Algebras","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Type (biology); Stone's representation theorem for Boolean algebras; Two-element Boolean algebra; Complete Boolean algebra; Boolean algebra; Boolean expression; Algebra over a field; Domain (mathematical analysis)","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004768305,0.0001983532,0.000247261,0.0001317317,0.0001712411,0.0002804788,0.003092358,0.0000807551,0.000003050479],"category_scores_gemma":[0.0005587484,0.000114236,0.00009858774,0.00076621,0.0001225814,0.0002115919,0.0007799595,0.0001876466,0.00001123377],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003054516,"about_ca_system_score_gemma":0.00004875235,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007655188,"about_ca_topic_score_gemma":0.00001196289,"domain_scores_codex":[0.998628,0.00001576867,0.0002506153,0.0003986875,0.0003642025,0.0003427073],"domain_scores_gemma":[0.9986798,0.00008584285,0.0002447835,0.0007383253,0.0002009511,0.00005025523],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00003263533,0.0001321069,0.0098571,0.0002371283,0.0001032885,0.000002571207,0.001769602,0.000001676414,0.001100281,0.8611976,0.002218513,0.1233475],"study_design_scores_gemma":[0.004013759,0.002759946,0.01632969,0.001082718,0.0003644113,0.0001173897,0.01175614,0.0004075957,0.4302942,0.2690819,0.2616279,0.002164411],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7162944,0.005730616,0.02459331,0.03619725,0.002464862,0.00579219,0.000004229377,0.004192989,0.2047302],"genre_scores_gemma":[0.9832661,0.00000488598,0.01344437,0.0003157178,0.00005582657,0.00005869204,6.138493e-7,0.0000136705,0.002840111],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5921158,"threshold_uncertainty_score":0.5746422,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01418840425015455,"score_gpt":0.2647709369190902,"score_spread":0.2505825326689357,"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."}}