{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004403841,0.00004763599,0.00004667818,0.00003739941,0.00007611002,0.00005660308,0.000298402,0.00003476749,0.00001360807],"category_scores_gemma":[0.0000995758,0.00004252504,0.00003492415,0.0001332367,0.000008099846,0.0006030427,0.00004495798,0.00003653481,0.00007033685],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004578731,"about_ca_system_score_gemma":0.00001253097,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003143987,"about_ca_topic_score_gemma":0.000008209758,"domain_scores_codex":[0.9994895,0.00002444845,0.0001127727,0.0001646257,0.00008611025,0.0001225076],"domain_scores_gemma":[0.9995418,0.00004360672,0.00003434989,0.0003063443,0.00005093011,0.00002296166],"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.00000334306,0.00001672847,0.00002080095,0.000003873065,0.000001900813,3.230048e-8,0.00007801543,0.00004495305,0.003566774,0.1542913,0.0002216097,0.8417507],"study_design_scores_gemma":[0.0001926293,0.00007317826,0.002946168,0.000001572588,0.000002180458,0.000006495205,0.000003709139,0.6733075,0.2484538,0.005966525,0.06893209,0.0001141919],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00693419,0.000006735169,0.9890806,0.0002970785,0.0002421099,0.0001836983,3.814643e-7,0.0002153497,0.003039875],"genre_scores_gemma":[0.2550403,0.000001026426,0.7440792,0.0002345032,0.00008373676,0.00004162282,2.176374e-7,0.000002380586,0.0005170355],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8416365,"threshold_uncertainty_score":0.1734121,"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."}}