{"id":"W2951732938","doi":"10.48550/arxiv.cs/0403010","title":"Polymorphic lemmas and definitions in Lambda Prolog and Twelf","year":2004,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Prolog; Metalanguage; Programming language; ENCODE; Computer science; Lambda; Object (grammar); Inference; Encoding (memory); Artificial intelligence","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":[],"consensus_categories":[],"category_scores_codex":[0.0002899384,0.0002508479,0.0003273874,0.000166983,0.0001147172,0.0001901579,0.0004702427,0.0002909842,0.000006651459],"category_scores_gemma":[0.00004601586,0.000227706,0.00005319211,0.0001688217,0.0001366348,0.0001606233,0.001054104,0.0005013467,0.00005730311],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005008524,"about_ca_system_score_gemma":0.0001657205,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009138959,"about_ca_topic_score_gemma":0.0002648145,"domain_scores_codex":[0.9983655,0.00009251996,0.0003124094,0.0007246983,0.0001513164,0.0003535286],"domain_scores_gemma":[0.9990532,0.00005703675,0.0001488879,0.0005829515,0.00004376036,0.0001141705],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.000005433585,0.0001194715,0.8058221,0.0002363786,0.00003523311,0.0001658619,0.001642635,0.00003867751,0.00004179938,0.1883784,0.00006837801,0.003445656],"study_design_scores_gemma":[0.001074633,0.0002084625,0.7658761,0.0001088995,0.00003257411,0.0002056238,0.00006781236,0.0007096768,0.00009897861,0.2267371,0.004111485,0.0007685927],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9679589,0.003167585,0.02130658,0.001583696,0.0009282157,0.0006799068,0.000003809069,0.0002541059,0.004117235],"genre_scores_gemma":[0.9979005,0.0002610838,0.001204075,0.0002250677,0.0001374857,0.0001084529,0.0000112497,0.00001433056,0.000137767],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.03994595,"threshold_uncertainty_score":0.9285582,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07810910290550453,"score_gpt":0.2558222030204121,"score_spread":0.1777131001149076,"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."}}