{"id":"W4409364515","doi":"10.1609/aaai.v39i14.33648","title":"An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships","year":2025,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Advanced Numerical Methods in Computational Mathematics","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Alberta Innovates; Nederlandse Organisatie voor Wetenschappelijk Onderzoek","keywords":"Nondeterministic algorithm; Mathematics; Fixed point; Mathematical economics; Computer science; Discrete mathematics; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"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.002124456,0.0001232358,0.0002273803,0.00007303117,0.0001345202,0.00003966627,0.0003736082,0.00004747101,0.000008037547],"category_scores_gemma":[0.005165495,0.00007821788,0.00005447621,0.0002408107,0.0003936802,0.0001381395,0.00005695891,0.0001856411,0.000001133705],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002579842,"about_ca_system_score_gemma":0.00002012337,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":7.263965e-7,"about_ca_topic_score_gemma":2.359822e-7,"domain_scores_codex":[0.9990106,0.00009027284,0.0004691471,0.0001601538,0.0001597169,0.0001101219],"domain_scores_gemma":[0.9948093,0.004408172,0.0002266292,0.00014587,0.0003880006,0.00002200582],"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.0002448806,0.00002879422,0.000006365333,0.0002335049,0.0000174874,9.799605e-9,0.001193116,0.008012989,0.002795284,0.9317147,0.000003956311,0.05574893],"study_design_scores_gemma":[0.00003062241,0.00003505783,0.00001305174,0.0002073161,0.00002067106,2.279325e-7,0.0008214399,0.351156,0.06810157,0.5795653,0.000004564093,0.00004415442],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02497485,0.00005190312,0.9718378,0.000194326,0.0001457489,0.0006556476,0.000009367262,0.00003407147,0.002096289],"genre_scores_gemma":[0.9305094,0.00002756336,0.06930432,0.00003042333,0.00001995629,0.00004942267,6.322052e-7,0.00001089716,0.00004736986],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9055346,"threshold_uncertainty_score":0.6183953,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09644723973191656,"score_gpt":0.3560485240260903,"score_spread":0.2596012842941738,"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."}}