{"id":"W4412318324","doi":"","title":"Flix:A Meta Programming Language for Datalog","year":2022,"lang":"en","type":"article","venue":"","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Datalog; Programming language; Computer science","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.004296084,0.0009577505,0.0006120262,0.001482874,0.0007980677,0.00324549,0.002510374,0.001071133,0.008993074],"category_scores_gemma":[0.006089216,0.0008801114,0.002003262,0.00116619,0.001197633,0.005117248,0.002804311,0.003627139,0.001843925],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001127683,"about_ca_system_score_gemma":0.001832569,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001732088,"about_ca_topic_score_gemma":0.002615992,"domain_scores_codex":[0.998508,0.0004311581,0.0002144984,0.000223098,0.0004747408,0.0001485494],"domain_scores_gemma":[0.9974848,0.001530544,0.0002060536,0.0003753566,0.0002890906,0.0001141072],"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.0004056389,0.0001514497,0.001352371,0.001085654,0.0001450782,0.0005333489,0.001080352,0.04113954,0.01485408,0.7253961,0.03740139,0.1764551],"study_design_scores_gemma":[0.0001151512,0.0001425032,0.0003083489,0.000595385,0.0001088773,0.0007142071,0.0002257687,0.2692111,0.03033576,0.3937624,0.3043466,0.0001339224],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001068577,0.00008227189,0.9886827,0.0003365246,0.00005508791,0.00005762239,0.0006270395,0.007082192,0.002007947],"genre_scores_gemma":[0.05511564,0.0004162538,0.9328991,0.0007589953,0.00009820353,0.0004872314,0.001805865,0.002826256,0.005592455],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008993074,"threshold_uncertainty_score":0.03008479,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3566611895934818,"score_gpt":0.5099991924918751,"score_spread":0.1533380028983933,"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."}}