{"id":"W6931203153","doi":"10.5281/zenodo.16782811","title":"Data for Efficient Volume Computation for SMT Formulas (KR-25 paper)","year":2025,"lang":"en","type":"dataset","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Microbial Community Ecology and Physiology","field":"Environmental Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computation; Volume (thermodynamics); Artifact (error); Term (time)","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001520427,0.004681294,0.001945632,0.00337517,0.001009144,0.002934041,0.004941043,0.003655356,0.05330864],"category_scores_gemma":[0.008083549,0.001094539,0.002462579,0.005369509,0.0007821535,0.001679809,0.002294177,0.003171394,0.0803615],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001951591,"about_ca_system_score_gemma":0.002851525,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01193218,"about_ca_topic_score_gemma":0.01866679,"domain_scores_codex":[0.9978508,0.0002563862,0.0002623701,0.0004984247,0.0008337716,0.0002982758],"domain_scores_gemma":[0.9967678,0.0007278536,0.0002302567,0.001234662,0.0007962707,0.0002431585],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000179954,0.00008419262,0.0004497711,0.0007792235,0.00004385616,0.00003818281,0.00001329009,0.001726722,0.0004154335,0.0009906051,0.9908461,0.004432601],"study_design_scores_gemma":[0.00201144,0.0001129125,0.003604851,0.0003342963,0.00007454459,0.0002271396,0.00005912826,0.01067595,0.004463573,0.009271679,0.9690818,0.00008275456],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.0005357292,0.0001355773,0.000519795,0.0001069068,0.00008112964,0.00003591608,0.993411,0.004101695,0.001072255],"genre_scores_gemma":[0.0008458179,0.00004308086,0.001089634,0.00004553128,0.00001033976,0.0001029479,0.9971862,0.0003389215,0.0003374703],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.05330864,"threshold_uncertainty_score":0.1783351,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03827873625159336,"score_gpt":0.2745076553088046,"score_spread":0.2362289190572112,"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."}}