{"id":"W4409507843","doi":"10.1017/bsl.2025.13","title":"ASSOCIATION FOR SYMBOLIC LOGIC","year":2025,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Nankai University; University of Leeds; Division of Mathematical Sciences; Universiteit van Amsterdam; University of Cambridge; McMaster University; University of Madras; University of Notre Dame; University of Pennsylvania","keywords":"Association (psychology); Computer science; Programming language; Psychology","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009067602,0.0002452529,0.0004969693,0.0002009571,0.0001918403,0.0001052663,0.001185288,0.0002578988,0.0001299796],"category_scores_gemma":[0.0009550368,0.0002091767,0.0002557656,0.0004695831,0.00006194415,0.00005302281,0.000322025,0.0001653189,0.0002704697],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001667139,"about_ca_system_score_gemma":0.0001337721,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006204662,"about_ca_topic_score_gemma":0.000006656122,"domain_scores_codex":[0.9980099,0.0001269448,0.0004773246,0.0005528323,0.0002802931,0.0005526986],"domain_scores_gemma":[0.997987,0.0006393806,0.0003300412,0.0005896314,0.0003691298,0.00008483658],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000120866,0.0001962537,0.002250871,0.0001060726,0.00008125636,0.000002561621,0.0003139886,0.00002117075,0.0003034799,0.8815694,0.1099385,0.005204299],"study_design_scores_gemma":[0.001857976,0.0003402656,0.01570368,0.0001232732,0.00009506667,0.000008590465,0.00008986561,0.001441591,0.002965594,0.3048598,0.6719651,0.0005491954],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01002544,0.003999877,0.2314325,0.03730003,0.003105026,0.00182368,0.00002405965,0.0009209371,0.7113684],"genre_scores_gemma":[0.9247086,0.0002005483,0.01728737,0.003638942,0.0002937962,0.0001982127,0.00001248986,0.00001910754,0.05364092],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9146832,"threshold_uncertainty_score":0.852998,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01316151427147114,"score_gpt":0.2553855654010436,"score_spread":0.2422240511295725,"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."}}