{"id":"W2398808383","doi":"10.29007/54ps","title":"Cuts for circular proofs","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Mathematical proof; Computer science; Geometry; Mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004084653,0.0001041753,0.0001655578,0.00007449892,0.0001636271,0.00009949348,0.0006782628,0.00005159728,0.000004848991],"category_scores_gemma":[0.0002514243,0.00009837685,0.00004277289,0.0002639873,0.0001074293,0.0002600758,0.0002894642,0.00006864081,0.00001584279],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002950253,"about_ca_system_score_gemma":0.00004836184,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001764868,"about_ca_topic_score_gemma":0.00002320854,"domain_scores_codex":[0.9989531,0.00003643241,0.0002209117,0.0003334289,0.0001128906,0.0003432323],"domain_scores_gemma":[0.9992471,0.000191739,0.00006538029,0.0003918167,0.00007381744,0.00003009417],"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.00004161864,0.0001353374,0.05000855,0.0002382316,0.00005422424,0.00008180503,0.014156,0.0003092641,0.001278611,0.4418932,0.00468457,0.4871185],"study_design_scores_gemma":[0.00213104,0.001141263,0.08663182,0.0003638555,0.00001379667,0.0002623742,0.001080967,0.554164,0.03364024,0.2219172,0.09741212,0.001241319],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1471565,0.0002139261,0.8450826,0.001410172,0.001736676,0.0002705282,3.258418e-7,0.000286249,0.003843044],"genre_scores_gemma":[0.8348137,0.000001706788,0.1644114,0.0003368805,0.0003212849,0.000007298845,5.603467e-7,0.000006018841,0.0001011306],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6876572,"threshold_uncertainty_score":0.4011692,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02623357963717576,"score_gpt":0.2901355418962448,"score_spread":0.263901962259069,"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."}}