{"id":"W6930593249","doi":"10.5281/zenodo.13627811","title":"Btor2-SelectMC (HWMCC 2024 Submission)","year":2024,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Traumatic Brain Injury Research","field":"Medicine","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Python (programming language); Software; Model checking; Java; Property (philosophy); Formal verification","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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.003125798,0.002150923,0.0009652862,0.001264274,0.0007477542,0.002455335,0.003375932,0.001900123,0.3265307],"category_scores_gemma":[0.010274,0.001224142,0.0013563,0.0006554755,0.0007221344,0.003022818,0.002970609,0.001977458,0.1724287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001543734,"about_ca_system_score_gemma":0.002274666,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004389799,"about_ca_topic_score_gemma":0.007863173,"domain_scores_codex":[0.9946396,0.0008483211,0.0002919677,0.000873806,0.002707435,0.0006389226],"domain_scores_gemma":[0.9940277,0.001206769,0.0002971693,0.001814941,0.002420158,0.0002331461],"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.0008186618,0.00008194269,0.0007336856,0.0006534054,0.00005587814,0.0002285967,0.00008782301,0.00366984,0.01244492,0.01558293,0.9095576,0.05608458],"study_design_scores_gemma":[0.0003728537,0.0002796894,0.00105682,0.0001862096,0.00005359748,0.0004384768,0.00004914125,0.03440556,0.06779289,0.0137882,0.8814428,0.00013366],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"software","genre_gemma":"other","genre_scores_codex":[0.005142614,0.0003270071,0.2903481,0.0009967937,0.00166093,0.0007076417,0.05991386,0.5534896,0.08741346],"genre_scores_gemma":[0.1044497,0.0003455205,0.1612045,0.002906024,0.0006195896,0.001764187,0.2187841,0.2817442,0.2281822],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.6734693,"threshold_uncertainty_score":0.9606223,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06447713868932294,"score_gpt":0.308606172697398,"score_spread":0.2441290340080751,"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."}}