{"id":"W3162733295","doi":"10.1145/3249735","title":"Session details: Session 14: advances in formal solvers","year":2006,"lang":"en","type":"article","venue":"Design Automation Conference","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Session (web analytics); Computer science; World Wide Web","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":[],"category_scores_codex":[0.008608126,0.002467558,0.002944471,0.001879323,0.002646557,0.01088497,0.003111159,0.004794603,0.4000131],"category_scores_gemma":[0.01156167,0.00114155,0.002652309,0.00307159,0.0009194459,0.009921203,0.005903301,0.008306746,0.2011606],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001823719,"about_ca_system_score_gemma":0.002852632,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001529123,"about_ca_topic_score_gemma":0.002130394,"domain_scores_codex":[0.9961683,0.001385549,0.0001997215,0.0007740159,0.001036254,0.0004361432],"domain_scores_gemma":[0.9893841,0.00311401,0.0002049693,0.002185275,0.003383396,0.001728109],"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.0004113836,0.0002562473,0.0002910535,0.0003684936,0.00005968367,0.00003485557,0.0001044508,0.0008888796,0.002474298,0.01220785,0.8554284,0.1274745],"study_design_scores_gemma":[0.0001821915,0.0001838139,0.0008827745,0.0001863444,0.00007323411,0.0001502995,0.000116844,0.007539211,0.004520715,0.03094544,0.9551476,0.00007145453],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.009375135,0.03797255,0.4068822,0.06870978,0.09492022,0.001781002,0.01492914,0.02157025,0.3438597],"genre_scores_gemma":[0.05151701,0.01971035,0.1342546,0.007156678,0.03847778,0.001354445,0.02967213,0.01229985,0.7055572],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.4000131,"threshold_uncertainty_score":0.8558085,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03268091419203783,"score_gpt":0.2675547319757574,"score_spread":0.2348738177837196,"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."}}