{"id":"W4412647363","doi":"10.55016/ojs/cdm.v3i1.61999","title":"Arcs in Desarguesian nets","year":2008,"lang":"en","type":"article","venue":"Contributions to Discrete Mathematics","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni; Ministero dell’Istruzione, dell’Università e della Ricerca; Istituto Nazionale di Alta Matematica \"Francesco Severi\"","keywords":"Mathematics; Combinatorics","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.000564112,0.0001344644,0.0002114251,0.0001909072,0.0001805995,0.00005923015,0.0007667926,0.00006988741,0.00001130133],"category_scores_gemma":[0.001013322,0.000128326,0.00005607837,0.0008293366,0.00006255924,0.0003619611,0.0001988324,0.0001395916,0.0002174358],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001667265,"about_ca_system_score_gemma":0.00008565297,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008194419,"about_ca_topic_score_gemma":0.000006391308,"domain_scores_codex":[0.9986747,0.0000825756,0.000395028,0.0002501375,0.0002393694,0.0003582115],"domain_scores_gemma":[0.9987208,0.0001161629,0.0000874485,0.0007888215,0.0001430143,0.0001437757],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002567477,0.000107588,0.0002541186,0.00001543807,0.000006720017,0.00001924416,0.002526067,0.0002352634,0.0006823431,0.9936658,0.0009019226,0.001582938],"study_design_scores_gemma":[0.001636916,0.0003027964,0.02718577,0.0002987241,0.00002304192,0.000468764,0.0002870694,0.7259711,0.0238218,0.1915641,0.02711448,0.001325363],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01495464,0.00004688165,0.9797689,0.00116116,0.0001435615,0.0003823231,0.00001959055,0.0001519663,0.003370978],"genre_scores_gemma":[0.3376468,0.00001060263,0.6619358,0.0001659287,0.00002452219,0.00006576452,0.000005419109,0.000007646723,0.0001375339],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8021017,"threshold_uncertainty_score":0.5232981,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03068560778643376,"score_gpt":0.3247251881029219,"score_spread":0.2940395803164882,"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."}}