{"id":"W4387842564","doi":"10.1007/978-3-031-43345-0","title":"Recent Trends in Algebraic Development Techniques","year":2023,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Universitat Politècnica de Catalunya; Universidade do Minho; Université Paris-Saclay; Universitetet i Oslo; University of Oxford; Universidad Complutense de Madrid; Universidade de Aveiro; Swansea University; University of Ottawa","keywords":"Computer science; Algebraic number; Development (topology); Algebra over a field; Theoretical computer science; Mathematics; Pure mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003115665,0.0004955714,0.0005156215,0.003221566,0.0001696382,0.0004069002,0.004760279,0.0004036035,0.00001319829],"category_scores_gemma":[0.0002339912,0.0004781384,0.00007159301,0.00531271,0.0003732895,0.0007004639,0.001824871,0.0009766227,0.0000776764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001983654,"about_ca_system_score_gemma":0.001553895,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001052864,"about_ca_topic_score_gemma":0.0001693852,"domain_scores_codex":[0.995321,0.000140035,0.0008171625,0.001697054,0.001160652,0.0008641142],"domain_scores_gemma":[0.9975193,0.000312751,0.0003075065,0.001542491,0.0001823476,0.0001356067],"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.000002063448,0.00002722488,0.00002912478,0.00002078415,0.000002777978,0.00003562985,0.001008473,0.0008551379,0.00004829286,0.002180669,0.0001385773,0.9956512],"study_design_scores_gemma":[0.000662645,0.0004715268,0.009375476,0.00216943,0.000009250043,0.000132049,7.229395e-7,0.557175,0.06728665,0.2335389,0.125656,0.003522355],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00004687437,0.0002440651,0.9936411,0.0005351084,0.002087715,0.000324436,0.000001305135,0.0005875,0.002531865],"genre_scores_gemma":[0.00039326,0.0001226387,0.9967106,0.0006704627,0.0002201407,0.00007260531,0.00001488198,0.00003819463,0.001757189],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9921289,"threshold_uncertainty_score":0.999767,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03700882443920046,"score_gpt":0.3105604988519152,"score_spread":0.2735516744127148,"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."}}