{"id":"W2912604981","doi":"10.5555/603095.3246004","title":"Session details: Session 6A: BDDs and SAT","year":2001,"lang":"en","type":"article","venue":"International Conference on Computer Aided Design","topic":"Diverse Scientific and Economic Studies","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Session (web analytics); Computer science; Programming language; Theoretical 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":["insufficient_payload"],"category_scores_codex":[0.003220094,0.002543449,0.002138817,0.001098158,0.003550403,0.006940962,0.00171103,0.00327798,0.5402402],"category_scores_gemma":[0.004894548,0.0009219364,0.002976868,0.001473311,0.0005306446,0.004301624,0.005502911,0.00467093,0.2443996],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001596028,"about_ca_system_score_gemma":0.002461713,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001716177,"about_ca_topic_score_gemma":0.003537922,"domain_scores_codex":[0.9984087,0.0004387743,0.00006968206,0.0003948991,0.0004182922,0.0002697961],"domain_scores_gemma":[0.9969133,0.0006526659,0.00006465247,0.0005615308,0.001073048,0.0007348299],"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.0004778299,0.0001346971,0.000268017,0.0001922418,0.00003448639,0.000041012,0.00008427339,0.0009207565,0.002605263,0.007614864,0.8916424,0.09598418],"study_design_scores_gemma":[0.000105726,0.0001655413,0.0006859252,0.00009697559,0.00003222327,0.00008600488,0.0001130565,0.003603027,0.002903149,0.01761915,0.9745511,0.00003808819],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.007898671,0.009363529,0.2576001,0.03516213,0.089077,0.002588964,0.0195308,0.01362105,0.5651576],"genre_scores_gemma":[0.04852365,0.003930961,0.05386472,0.002956875,0.01632276,0.001374988,0.01466095,0.005154567,0.8532105],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.4597598,"threshold_uncertainty_score":0.6557916,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1456382197031476,"score_gpt":0.2696222521556833,"score_spread":0.1239840324525356,"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."}}