{"id":"W6911465496","doi":"10.5281/zenodo.11493754","title":"Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs (Artifact)","year":2024,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"","field":"","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Lazy evaluation; Semantics (computer science); Modular design; Principle of compositionality; Computation; Formal semantics (linguistics); Queue; Variety (cybernetics)","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.002417395,0.0005902495,0.0004134361,0.0009384531,0.001100188,0.00249239,0.001782616,0.001269567,0.006909621],"category_scores_gemma":[0.004633007,0.0005317486,0.001240215,0.0007313476,0.003863452,0.00784474,0.003613004,0.00245464,0.0008871458],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00187301,"about_ca_system_score_gemma":0.001344093,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002446784,"about_ca_topic_score_gemma":0.00178887,"domain_scores_codex":[0.9983718,0.0004186571,0.00009462151,0.000309937,0.0006120383,0.0001929384],"domain_scores_gemma":[0.9978199,0.0009324829,0.000126612,0.0005170759,0.0005001756,0.0001037974],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003804753,0.00002136725,0.0002193194,0.00005911717,0.000008193932,0.000101428,0.0003340106,0.003524714,0.002183856,0.9810938,0.002392575,0.01002354],"study_design_scores_gemma":[0.00004408504,0.00005901802,0.0002484602,0.00005943923,0.00003814788,0.0002676821,0.0002803238,0.08120001,0.01249565,0.8521508,0.05309769,0.0000586908],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.01911433,0.0001296384,0.9648935,0.001734587,0.0001471222,0.0000875596,0.000213986,0.001552537,0.01212678],"genre_scores_gemma":[0.6213298,0.0003425222,0.3536985,0.001068522,0.0002504111,0.0004276855,0.0004411889,0.00204958,0.02039191],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.006909621,"threshold_uncertainty_score":0.02311492,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0540831330978216,"score_gpt":0.2774891729015722,"score_spread":0.2234060398037506,"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."}}