{"id":"W2727031696","doi":"","title":"An extension of Schoning's algorithm","year":2017,"lang":"fr","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Auction Theory and Applications","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Huntington Society of Canada","funders":"","keywords":"Extension (predicate logic); Algorithm; Computer science; Programming language","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.003087341,0.0006492006,0.000951872,0.001206541,0.001407356,0.002035401,0.004273464,0.001647684,0.009238707],"category_scores_gemma":[0.008166219,0.0004194641,0.001696074,0.00193224,0.001745136,0.005880394,0.002536519,0.002121846,0.001861332],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002330149,"about_ca_system_score_gemma":0.003171504,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001848294,"about_ca_topic_score_gemma":0.002459461,"domain_scores_codex":[0.9961331,0.0008724889,0.0003216301,0.0009506721,0.001165997,0.0005560727],"domain_scores_gemma":[0.9947818,0.002149155,0.0002303959,0.001671536,0.0009360486,0.0002310888],"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.0004579713,0.0002762258,0.001086914,0.000234256,0.0000546102,0.0001246567,0.0003956346,0.05162144,0.005872751,0.7570663,0.009652575,0.1731567],"study_design_scores_gemma":[0.0001393841,0.0002335201,0.0004512128,0.0000673158,0.00005693513,0.0003170464,0.00008616968,0.3970582,0.006093644,0.557873,0.03755355,0.00007009368],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03722972,0.0003313835,0.9301895,0.001129807,0.0002490372,0.0002935204,0.0002463897,0.001081763,0.02924882],"genre_scores_gemma":[0.2779602,0.0004831562,0.6982027,0.0006536398,0.0002889619,0.0002284402,0.0006224145,0.0003594229,0.02120113],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009238707,"threshold_uncertainty_score":0.03090662,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04282295043660783,"score_gpt":0.3247398547949804,"score_spread":0.2819169043583725,"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."}}