{"id":"W4413965751","doi":"10.70930/tac/cxgk1ey9","title":"A category of arrow algebras for modified realizability","year":2025,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Realizability; Arrow; Mathematics; Algebra over a field; Computer science; Pure mathematics; Programming language; Algorithm","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001410353,0.0003207924,0.0004012027,0.001169362,0.001403043,0.002616612,0.0006671084,0.0007208089,0.005267284],"category_scores_gemma":[0.001686662,0.000272575,0.000779746,0.0008085893,0.004453664,0.006661572,0.00279657,0.001461281,0.0005193858],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009740605,"about_ca_system_score_gemma":0.0007826524,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008246424,"about_ca_topic_score_gemma":0.000580473,"domain_scores_codex":[0.9988465,0.0002657001,0.00007087854,0.0002619765,0.0004325912,0.0001223481],"domain_scores_gemma":[0.9987759,0.0003571426,0.0001595677,0.0002457043,0.0002808234,0.000180792],"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.000007914486,0.000003845998,0.0001391553,0.00001926196,0.00000423224,0.00007176447,0.0001729317,0.000236149,0.0007957092,0.996566,0.0001143601,0.001868681],"study_design_scores_gemma":[0.000007904863,0.00002119732,0.000358597,0.0000171339,0.00001142933,0.0002534778,0.0002022567,0.001993355,0.001094713,0.9846253,0.01139666,0.0000178991],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2319751,0.002038506,0.678899,0.001399896,0.0003480845,0.0001197951,0.0005257649,0.0006293833,0.08406442],"genre_scores_gemma":[0.9405812,0.0004873394,0.04926496,0.0002313587,0.000147854,0.0001092601,0.0002974186,0.00008748437,0.0087932],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005267284,"threshold_uncertainty_score":0.01762086,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01485897092977852,"score_gpt":0.2683813720941616,"score_spread":0.2535224011643831,"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."}}