{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002035977,0.000401014,0.0004383839,0.001734082,0.001593013,0.004878632,0.001452742,0.001062217,0.003507073],"category_scores_gemma":[0.004846215,0.0009113919,0.0007852812,0.00232468,0.005040839,0.005458284,0.002666284,0.00287464,0.001256257],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001822486,"about_ca_system_score_gemma":0.00131447,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004761792,"about_ca_topic_score_gemma":0.003443581,"domain_scores_codex":[0.9978671,0.0006514248,0.0001904042,0.0003172446,0.0006137223,0.0003600475],"domain_scores_gemma":[0.9984347,0.0006274233,0.0002640032,0.0003508729,0.0002390937,0.00008388168],"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.00003907923,0.00001269076,0.0002041128,0.00005821,0.000006591438,0.00009928936,0.0007344086,0.0009825772,0.0009095828,0.9769729,0.002097037,0.01788346],"study_design_scores_gemma":[0.00004402709,0.0000325285,0.0004723199,0.0001108144,0.00003195537,0.0004532929,0.0003969,0.007867192,0.005668394,0.8060732,0.1787851,0.00006430192],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.02717037,0.001688406,0.9176188,0.002176198,0.0003262029,0.0000928506,0.0004947682,0.002198905,0.04823355],"genre_scores_gemma":[0.3693464,0.001932978,0.6022884,0.001375715,0.000285831,0.0003262237,0.0006521852,0.001007551,0.02278472],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.004878632,"threshold_uncertainty_score":0.01322311,"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."}}