{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000620416,0.0001593274,0.0001785035,0.0001664309,0.0001502177,0.0002709155,0.0004789809,0.0001051825,0.00002863742],"category_scores_gemma":[0.00004052417,0.0001317554,0.00003918644,0.0003787891,0.00003545179,0.002568305,0.00008811212,0.0001115072,0.0001125914],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006643205,"about_ca_system_score_gemma":0.0001453713,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007176436,"about_ca_topic_score_gemma":0.00004947625,"domain_scores_codex":[0.9983959,0.0002058413,0.0003690131,0.00034274,0.0003408557,0.000345704],"domain_scores_gemma":[0.9992031,0.0001091516,0.000213268,0.0002914541,0.0001289512,0.00005407156],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000164808,0.0001298829,0.002926364,0.00009375435,0.00000391348,0.00002703836,0.001020614,0.002909543,0.004101145,0.5846103,0.0006283656,0.4035325],"study_design_scores_gemma":[0.001014491,0.0001839989,0.008842494,0.00009025816,0.000004995873,0.00002311803,0.0001377247,0.8985474,0.009627619,0.06919659,0.01185725,0.0004741369],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002532609,0.0002493902,0.9906105,0.00009359026,0.0004115643,0.0003215813,2.903919e-7,0.0003982794,0.005382218],"genre_scores_gemma":[0.9712969,0.00002873047,0.02828863,0.00004473174,0.00004536998,0.00004880584,0.000008561547,0.000006232002,0.0002320625],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9687642,"threshold_uncertainty_score":0.5372828,"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."}}