{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":1,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":1,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"0fbbbdf278b3","filters":{"venue":"Rewriting Techniques and Applications"}},"results":[{"id":"W2516704912","doi":"","title":"Evidence normalization in System FC","year":2013,"lang":"en","type":"article","venue":"Rewriting Techniques and Applications","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"St Mary's Hospital Centre","funders":"","keywords":"Haskell; Computer science; Type inference; Programming language; Inference; Normalization (sociology); Debugging; Type theory; Type (biology); Functional programming; Theoretical computer science; Algorithm; Artificial intelligence","authors":[{"name":"Dimitrios Vytiniotis","is_ca":false},{"name":"Simon Peyton Jones","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02779692912342209,"gpt":0.2718369373002821,"spread":0.24404000817686,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002777684,0.00007027495,0.00009024726,0.00007321076,0.0001146663,0.000190747,0.0002833771,0.00005318047,0.000002258399],"category_scores_gemma":[0.00001069284,0.00006390883,0.0000168611,0.0003238781,0.0000224341,0.0003867828,0.0001073308,0.00006329451,0.00003142234],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003493301,"about_ca_system_score_gemma":0.00001315021,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003432903,"about_ca_topic_score_gemma":0.00001062142,"domain_scores_codex":[0.999294,0.00003256155,0.0002092922,0.0002316753,0.00008808089,0.0001443222],"domain_scores_gemma":[0.9994613,0.00005042997,0.00007891837,0.000292734,0.00007500384,0.00004161112],"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":[1.541487e-7,0.00001168174,0.001771418,0.00007791624,8.604518e-7,9.31969e-7,0.0000527848,6.381009e-7,0.0002884049,0.8287081,0.0001241962,0.1689629],"study_design_scores_gemma":[0.00103118,0.0007961118,0.019725,0.002379378,0.00004471064,0.001306749,0.002205739,0.2015726,0.03518935,0.2682612,0.4643118,0.003176155],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000931206,0.000673526,0.9872051,0.000320175,0.00001220301,0.0008946538,2.428412e-7,0.0007617586,0.009201069],"genre_scores_gemma":[0.9735563,0.0001312083,0.02480374,0.00003504916,0.00007517121,0.001311673,0.000001891141,0.000005113284,0.0000798008],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9726251,"threshold_uncertainty_score":0.2606127,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}