{"id":"W2919672876","doi":"","title":"Cycle Extensions in PBD Block-Intersection Graphs.","year":2018,"lang":"en","type":"article","venue":"Ars Combinatoria","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Mathematics; Intersection (aeronautics); Block (permutation group theory); Combinatorics; Geography","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005304093,0.0001051267,0.000117058,0.0002061782,0.000127962,0.00006186634,0.0005710945,0.0000757388,0.00001056347],"category_scores_gemma":[0.0001518515,0.0001089867,0.0000436236,0.0008404879,0.00009055628,0.0005039245,0.0001724028,0.0001556359,0.0001676518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008055604,"about_ca_system_score_gemma":0.00003015648,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007695545,"about_ca_topic_score_gemma":0.0000215322,"domain_scores_codex":[0.9988695,0.0001323563,0.0002270195,0.0003321537,0.0001916254,0.0002473114],"domain_scores_gemma":[0.999025,0.00004974431,0.00007873822,0.0006524871,0.0001270205,0.00006698367],"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.000005922863,0.00008164594,0.0009458339,0.000002654965,0.0000037482,0.000003845672,0.0005556133,0.000006062546,0.001703999,0.9915654,0.0007722915,0.004352993],"study_design_scores_gemma":[0.0005744223,0.0002674165,0.04124535,0.00003005499,0.000003707015,0.00002734782,0.00004582743,0.03858133,0.01557524,0.9013301,0.002087586,0.000231622],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9701425,0.00002794798,0.01596068,0.0002867494,0.006859067,0.0001711778,4.227366e-7,0.0002369332,0.006314554],"genre_scores_gemma":[0.9474478,0.000005383522,0.05227419,0.0001850605,0.00001189681,0.00001692921,6.184279e-7,0.000008346591,0.00004975986],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.09023529,"threshold_uncertainty_score":0.444435,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01743400842951365,"score_gpt":0.2810973540827924,"score_spread":0.2636633456532787,"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."}}