{"id":"W3115470548","doi":"10.1145/3402926","title":"Deterministic APSP, Orthogonal Vectors, and More","year":2020,"lang":"en","type":"article","venue":"ACM Transactions on Algorithms","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of Waterloo; National Science Foundation","keywords":"Satisfiability; Deterministic algorithm; Combinatorics; Mathematics; Binary logarithm; Randomized algorithm; Discrete mathematics; Matching (statistics); Algorithm; Statistics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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.00160303,0.001159252,0.001078331,0.001038537,0.001450401,0.002324079,0.002418609,0.001224707,0.01345674],"category_scores_gemma":[0.007267531,0.0005997713,0.001166205,0.001984484,0.001915558,0.005830616,0.004141356,0.002360599,0.001731037],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002116203,"about_ca_system_score_gemma":0.002903114,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00485494,"about_ca_topic_score_gemma":0.008082647,"domain_scores_codex":[0.9974374,0.0005748976,0.0001537758,0.0007314741,0.0007324266,0.0003700719],"domain_scores_gemma":[0.9954576,0.00137137,0.0004498365,0.002041229,0.0004561126,0.0002237222],"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.000776473,0.0003616087,0.00442479,0.0003980593,0.00007441614,0.0001996136,0.0003198249,0.158119,0.01025652,0.628383,0.01255719,0.1841295],"study_design_scores_gemma":[0.00009516955,0.0002464515,0.0006057423,0.00003608338,0.0000443405,0.0001974674,0.0001175413,0.4908505,0.009715609,0.4858201,0.01220086,0.00007007932],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06583545,0.0003597568,0.915037,0.001779551,0.0001807112,0.0001385597,0.0007208051,0.002181229,0.01376687],"genre_scores_gemma":[0.530324,0.0003024558,0.4548632,0.0007479355,0.0001482801,0.0003823348,0.001306468,0.0003915161,0.01153382],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01345674,"threshold_uncertainty_score":0.04501724,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0392331204555236,"score_gpt":0.2640326974534066,"score_spread":0.224799576997883,"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."}}