{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003686324,0.0006899264,0.0005624833,0.002010277,0.001892919,0.003655403,0.001783841,0.001928637,0.01263282],"category_scores_gemma":[0.01116418,0.0007264671,0.001347278,0.001223129,0.005831661,0.007598794,0.004783415,0.005256951,0.002746443],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002553611,"about_ca_system_score_gemma":0.001543121,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001472865,"about_ca_topic_score_gemma":0.00114002,"domain_scores_codex":[0.9962671,0.001106804,0.0002271977,0.0007750082,0.001323582,0.0003002742],"domain_scores_gemma":[0.9921749,0.004222912,0.0004030728,0.001675788,0.001133317,0.0003899636],"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.00001691138,0.000007010031,0.00004800168,0.00005590358,0.000004048406,0.00004316678,0.0001490341,0.0003544038,0.0005127401,0.9892167,0.001462694,0.008129542],"study_design_scores_gemma":[0.00001279033,0.00001697238,0.00005957776,0.00004992719,0.00001034144,0.0001218831,0.00003593971,0.00318429,0.001066544,0.9495132,0.0459143,0.00001428127],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008725524,0.003728742,0.9252786,0.003205857,0.00112749,0.0001761012,0.0003883875,0.001593484,0.05577585],"genre_scores_gemma":[0.3370087,0.001971118,0.626122,0.00288139,0.001139848,0.0004781234,0.0006681895,0.0008169094,0.02891376],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01263282,"threshold_uncertainty_score":0.042261,"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."}}