{"id":"W6949890927","doi":"10.5281/zenodo.16782810","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":"Complexity and Algorithms in Graphs","field":"Computer 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.001381515,0.003961171,0.00165766,0.003894549,0.0009654679,0.002720583,0.004317266,0.003428006,0.04881672],"category_scores_gemma":[0.008373843,0.0009301233,0.002000008,0.006685351,0.0007058148,0.00162731,0.001922855,0.002782421,0.07364043],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002003503,"about_ca_system_score_gemma":0.002566973,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01150339,"about_ca_topic_score_gemma":0.01799739,"domain_scores_codex":[0.9980016,0.0002275398,0.0002332123,0.00045134,0.0007942725,0.0002920299],"domain_scores_gemma":[0.9957403,0.0008956001,0.0003238769,0.001652321,0.001091476,0.0002965352],"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.0001726066,0.000092472,0.0005392654,0.0008447251,0.00003717458,0.00003500338,0.00001540416,0.001686701,0.0004066101,0.001090192,0.9904748,0.004605221],"study_design_scores_gemma":[0.001740821,0.0001192577,0.00456818,0.0003338744,0.00006909978,0.0002238224,0.00007779796,0.007577238,0.004257455,0.00887068,0.9720936,0.00006818958],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.0006199357,0.0001191559,0.0003556951,0.0001003874,0.00005950605,0.00003489697,0.9949493,0.002502996,0.001258155],"genre_scores_gemma":[0.0009769985,0.00004445172,0.0007944448,0.00004466108,0.00001005914,0.0001004558,0.997456,0.0002069765,0.0003660316],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.04881672,"threshold_uncertainty_score":0.1633081,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05883467154912076,"score_gpt":0.2913341506859124,"score_spread":0.2324994791367916,"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."}}