{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","scholarly_communication","open_science"],"consensus_categories":[],"category_scores_codex":[0.001407812,0.0003563605,0.0003953642,0.0005463554,0.003276165,0.002171481,0.00787946,0.0001701798,0.0006501861],"category_scores_gemma":[0.00133928,0.0003928931,0.0001620851,0.0009316872,0.0001611103,0.000510342,0.007604742,0.0004122187,0.000479733],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001839367,"about_ca_system_score_gemma":0.00003424576,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002833731,"about_ca_topic_score_gemma":0.000003099444,"domain_scores_codex":[0.9965922,0.0002446939,0.0005676058,0.001346798,0.000587743,0.0006609284],"domain_scores_gemma":[0.9957344,0.0002266746,0.0003091706,0.00248492,0.001052796,0.0001920656],"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.00003391728,0.0001927393,1.793713e-8,0.0004120478,0.00007086626,0.000003294651,0.00006676553,0.0003883011,0.000009427225,0.005960001,0.9249935,0.06786919],"study_design_scores_gemma":[0.0007238736,0.000258834,0.000005609063,0.00009813615,0.00004614204,0.00002230091,0.00002443592,0.1484241,0.000006551444,0.001306302,0.8487383,0.0003454704],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.000001367053,0.00006602054,0.4618947,0.0005275838,0.0004381497,0.001049854,0.5350223,0.0003747181,0.0006253683],"genre_scores_gemma":[0.00005674078,0.00007218019,0.01496402,0.0003647937,0.0003177614,7.413707e-7,0.9833149,0.0003752042,0.0005336917],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.4482926,"threshold_uncertainty_score":0.9998523,"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."}}