{"id":"W7096963805","doi":"","title":"VaqUoT: A Tool for Vacuity Detection","year":2005,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Set (abstract data type); State (computer science); Value (mathematics); Algebra over a field; Calculus (dental); Truth value","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005345241,0.002022735,0.00175273,0.004087031,0.001251151,0.003465407,0.006208802,0.002332513,0.02166831],"category_scores_gemma":[0.02047538,0.002531466,0.002934445,0.001391937,0.002027808,0.005959707,0.006842776,0.002336697,0.005791962],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002039439,"about_ca_system_score_gemma":0.00232619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005295283,"about_ca_topic_score_gemma":0.006118117,"domain_scores_codex":[0.9944403,0.001979066,0.0005787712,0.0009080539,0.001715269,0.0003786475],"domain_scores_gemma":[0.9863858,0.008493734,0.0007010442,0.00272033,0.001421109,0.0002779406],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002293194,0.0003488309,0.01194017,0.003152221,0.0006748104,0.00198373,0.001592278,0.04517389,0.03228,0.2445313,0.1554333,0.5005962],"study_design_scores_gemma":[0.0005456762,0.000248542,0.001482893,0.0006154975,0.0001943336,0.001300714,0.0002373789,0.633737,0.05332299,0.1551372,0.1528407,0.0003369949],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004344603,0.0003064808,0.7988896,0.0001914978,0.0001235191,0.0001257554,0.00117226,0.1922038,0.002642521],"genre_scores_gemma":[0.1968484,0.0003570027,0.7638963,0.0005602541,0.0001178836,0.0005470394,0.005746,0.02641937,0.005507787],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02166831,"threshold_uncertainty_score":0.07248771,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0308173152434029,"score_gpt":0.3099704638847175,"score_spread":0.2791531486413146,"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."}}