{"id":"W65207345","doi":"10.1007/978-1-4613-0089-2_5","title":"Proving Theorems by Constructing Closed Semantic Trees","year":2001,"lang":"en","type":"book-chapter","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Section (typography); Set (abstract data type); Base (topology); Interpretation (philosophy); Computer science; Semantic interpretation; Abstract interpretation; Algorithm; Mathematics; Programming language; Theoretical computer science; Natural language processing","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001307085,0.0002687082,0.000253724,0.0001428849,0.000121252,0.0002450493,0.0003664034,0.0002010191,0.001490579],"category_scores_gemma":[0.00001761456,0.0002491272,0.0001053908,0.00004619144,0.0001102765,0.0002171822,0.0001210097,0.0002467271,0.0001190415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000552445,"about_ca_system_score_gemma":0.00009079908,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000148343,"about_ca_topic_score_gemma":0.00008465041,"domain_scores_codex":[0.9987006,0.00001717213,0.0003326203,0.0004777195,0.0002631872,0.0002087475],"domain_scores_gemma":[0.9991019,0.00009945435,0.000232659,0.0004033685,0.00008025084,0.0000823731],"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":[9.627263e-7,0.000003122748,0.00005089354,0.000007864779,0.00001936743,0.000009093799,0.00005006152,0.00001726225,0.00006041422,0.7298821,0.001926127,0.2679727],"study_design_scores_gemma":[0.00200602,0.0002089131,0.00008757113,0.0008013394,0.0001417268,0.001069599,0.000222913,0.1070952,0.0009856187,0.2076234,0.6761672,0.003590476],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000006713409,0.0000492142,0.385084,0.0002157223,0.0002507225,0.0001537746,0.000002888642,0.0002754664,0.6139615],"genre_scores_gemma":[0.0157326,0.0001457938,0.0435896,0.0004793371,0.0001483108,0.000005601599,0.00003367,0.00004923164,0.9398159],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.6742411,"threshold_uncertainty_score":0.9999961,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01091487884321907,"score_gpt":0.2079987132964952,"score_spread":0.1970838344532761,"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."}}