{"id":"W2496763831","doi":"10.1017/cbo9780511791260.016","title":"Location of Theorems","year":2003,"lang":"en","type":"other","venue":"","topic":"Mathematics and Applications","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Mathematics","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.001935028,0.001459543,0.001476837,0.004742688,0.002059198,0.006943828,0.00288098,0.001601711,0.3857947],"category_scores_gemma":[0.01138051,0.0007393925,0.001840401,0.004105595,0.00147169,0.008684923,0.004073143,0.003275393,0.3229375],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003455873,"about_ca_system_score_gemma":0.001774815,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001608903,"about_ca_topic_score_gemma":0.001403517,"domain_scores_codex":[0.9976234,0.0005311716,0.0001923092,0.000529068,0.0008950524,0.0002290728],"domain_scores_gemma":[0.9953842,0.001378441,0.0002107495,0.001372271,0.001397922,0.0002564617],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009170751,0.00004188326,0.0001980487,0.0007062625,0.00002576684,0.0002041117,0.0001735053,0.0006164968,0.001025495,0.4843351,0.4132847,0.09929699],"study_design_scores_gemma":[0.00003973634,0.00002675449,0.0002770402,0.0002143401,0.00002108683,0.0004227581,0.00008311119,0.001145736,0.002504525,0.1810332,0.814201,0.00003079102],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.002021713,0.003989154,0.1579333,0.004353091,0.004501878,0.0001617388,0.01456243,0.00745811,0.8050187],"genre_scores_gemma":[0.07679981,0.01232638,0.1127503,0.003136425,0.004423279,0.0005520919,0.04409461,0.01261185,0.7333053],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.3857947,"threshold_uncertainty_score":0.8760893,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03943627417314136,"score_gpt":0.3210118610611139,"score_spread":0.2815755868879725,"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."}}