{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00008627064,0.0002148976,0.000207602,0.0001095383,0.0003387292,0.0001585751,0.0008884301,0.00007598787,0.00006972215],"category_scores_gemma":[0.00003734467,0.0002125469,0.0001104053,0.0005554302,0.0001427749,0.0003048021,0.00004649137,0.0003420814,0.00005447955],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001743687,"about_ca_system_score_gemma":0.00004926183,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001192844,"about_ca_topic_score_gemma":0.000005337295,"domain_scores_codex":[0.9985559,0.000047106,0.0002266817,0.0005608017,0.0003146267,0.0002948793],"domain_scores_gemma":[0.9988306,0.0001932743,0.00004710741,0.0005917165,0.00004492278,0.0002924122],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001615272,0.0001274049,0.00006006462,0.00002626929,0.00005210999,0.00007735227,0.001290216,0.0002590914,0.0001381139,0.003338311,0.0001000383,0.9945149],"study_design_scores_gemma":[0.002859617,0.001927068,0.01647513,0.0001034417,0.0001237719,0.0004704086,0.0004111596,0.9158303,0.004358043,0.02926259,0.02632663,0.001851851],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005650518,0.00009137609,0.9858786,0.007290508,0.0004047678,0.0001552695,0.0000392466,0.0003382594,0.0001513888],"genre_scores_gemma":[0.7077442,0.00008858836,0.2887542,0.003097074,0.0001686041,0.00003876762,0.000004878732,0.00002450495,0.00007917544],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.992663,"threshold_uncertainty_score":0.8667411,"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."}}