{"id":"W6949461027","doi":"10.5281/zenodo.15272620","title":"Artifact: Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","year":2025,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Reduction (mathematics); Artifact (error); Lyapunov function; Core (optical fiber); Lyapunov equation; Sequence (biology); Formal verification; Lyapunov optimization; Algebra over a field","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.0009520284,0.001291052,0.0006606174,0.001105863,0.0004622406,0.001486327,0.00124386,0.000663815,0.06067419],"category_scores_gemma":[0.002750145,0.0003778538,0.0008053124,0.0006062699,0.0007324258,0.0009635735,0.00146885,0.00112199,0.01543558],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006543186,"about_ca_system_score_gemma":0.0009572497,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00104675,"about_ca_topic_score_gemma":0.001110636,"domain_scores_codex":[0.9990578,0.0002319062,0.00005316298,0.0001062887,0.0004874661,0.00006345783],"domain_scores_gemma":[0.999113,0.0003455027,0.00003977617,0.0002725328,0.000202153,0.00002708761],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003139848,0.0001475219,0.0002598741,0.0009774155,0.00007884768,0.0002814782,0.0002140019,0.08329207,0.03600377,0.4177287,0.1230255,0.337677],"study_design_scores_gemma":[0.000250855,0.0001782421,0.0002830985,0.0001794342,0.00005078612,0.0002566731,0.00005992669,0.3922271,0.05941582,0.1993382,0.3476955,0.00006432347],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.002817172,0.0001471436,0.9369473,0.0002430891,0.0004903249,0.0001005945,0.002014985,0.01320553,0.0440339],"genre_scores_gemma":[0.2021256,0.0005859655,0.6969122,0.0003318782,0.0004227532,0.0007288557,0.01397465,0.01444948,0.07046858],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.06067419,"threshold_uncertainty_score":0.2029754,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02259161177934815,"score_gpt":0.2447201527880345,"score_spread":0.2221285410086864,"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."}}