{"id":"W4286832929","doi":"10.1145/3531130.3533375","title":"Bouncing threads for circular and non-wellfounded proofs -- Towards compositionality with circular proofs (Extended version)","year":2022,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"Agence Nationale de la Recherche","keywords":"Mathematical proof; Principle of compositionality; Mathematics; Computer science; Calculus (dental); Geometry; Programming language; Artificial intelligence","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.01468301,0.001168524,0.001684624,0.001514223,0.003582074,0.008075124,0.003342378,0.0028396,0.01547573],"category_scores_gemma":[0.05338041,0.002519428,0.003816693,0.001585555,0.006741892,0.01916505,0.01453783,0.006591808,0.003756828],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002139708,"about_ca_system_score_gemma":0.003594477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001899556,"about_ca_topic_score_gemma":0.002010143,"domain_scores_codex":[0.9893371,0.003474634,0.001176642,0.001849786,0.002929119,0.001232648],"domain_scores_gemma":[0.946767,0.03009427,0.001728469,0.01479086,0.005321236,0.001298007],"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.0002989903,0.0001090147,0.0006679639,0.0003704519,0.00005946593,0.0002631473,0.002138867,0.004803213,0.004169953,0.9354147,0.002958773,0.04874535],"study_design_scores_gemma":[0.00008602035,0.00006009513,0.0001325496,0.0001921633,0.0001173326,0.0001717141,0.0002424547,0.04559761,0.0103845,0.9231041,0.01985801,0.00005348327],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008287401,0.0002012119,0.9839488,0.0005374137,0.0002116441,0.0001145849,0.00006936173,0.002741444,0.003888228],"genre_scores_gemma":[0.2526057,0.0003755829,0.7305164,0.0005955308,0.0002421565,0.0003171919,0.0003023866,0.003288277,0.01175679],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01547573,"threshold_uncertainty_score":0.0776521,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01771316710793341,"score_gpt":0.2383422705069563,"score_spread":0.2206291033990229,"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."}}