{"id":"W2501324228","doi":"10.1017/cbo9780511791260.017","title":"Location of Lemmas","year":2003,"lang":"en","type":"other","venue":"","topic":"Advanced Differential Equations and Dynamical Systems","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Content (measure theory); Information retrieval; Database; 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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00003497206,0.0000870814,0.0002048852,0.00006414906,0.000006167198,0.000002706759,0.00005098661,0.0001250541,0.002911323],"category_scores_gemma":[0.0000913358,0.00006685206,0.00003222074,0.0001084962,0.00001785873,0.000007489996,0.000007684755,0.00003557447,0.00005931861],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001179197,"about_ca_system_score_gemma":0.00001663914,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008384138,"about_ca_topic_score_gemma":0.000130089,"domain_scores_codex":[0.9995311,0.00002058296,0.0001846587,0.00009294747,0.000108418,0.00006223084],"domain_scores_gemma":[0.9995041,0.00004210047,0.0001825435,0.0002083791,0.00004224091,0.00002064418],"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":[5.581656e-7,0.00005075955,0.000005082438,0.000458831,0.00002282089,1.004823e-7,0.000005795183,0.000001583559,0.0000178732,0.8349378,0.1639778,0.0005209679],"study_design_scores_gemma":[0.0005184052,0.00004802393,0.000005943817,0.001102268,0.0001028671,0.000001927755,0.00005583193,0.0006718747,0.0001536538,0.3919463,0.6049433,0.0004495919],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000002037935,0.0001009627,0.4460697,0.000003073058,0.00007737574,0.0001111973,0.00000223796,0.00004399691,0.5535895],"genre_scores_gemma":[0.002363393,0.000008325044,0.02616899,0.000005430059,0.00004398662,0.000008947469,0.00000892909,0.0001375634,0.9712544],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.4429914,"threshold_uncertainty_score":0.9980001,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03917823100236753,"score_gpt":0.3147255810807429,"score_spread":0.2755473500783754,"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."}}