{"id":"W6949824055","doi":"10.5281/zenodo.15765918","title":"Z3-alpha for SMT-COMP 2025","year":2025,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Service and Product Innovation","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Solver; Problem solver; Context (archaeology); Work (physics)","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0005201503,0.0002377906,0.0002309282,0.0008722705,0.001039102,0.001204872,0.00105422,0.0001587964,0.05058363],"category_scores_gemma":[0.0004418393,0.0002559853,0.00007491957,0.001077745,0.0000538488,0.000304937,0.0008685427,0.0002197791,0.01832044],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005686191,"about_ca_system_score_gemma":0.000005760901,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001699334,"about_ca_topic_score_gemma":0.000003029185,"domain_scores_codex":[0.9985415,0.00003153937,0.0002679449,0.0005375046,0.0002776267,0.0003438901],"domain_scores_gemma":[0.9983675,0.00001502791,0.0002668923,0.0005464088,0.0007867123,0.00001745369],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003197372,0.00005388329,0.000001488306,0.0006775212,0.00005815115,0.000001556912,0.00002242993,0.000002403364,0.00008660147,0.04485011,0.8925809,0.06163301],"study_design_scores_gemma":[0.0004617102,0.00002117097,0.0000580157,0.0001607278,0.00005181702,0.00000178261,0.00006802635,0.0001372478,0.00002310829,0.001732992,0.9970236,0.0002598444],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00002334807,0.0001983382,0.003059425,0.004113324,0.0005979072,0.00093456,0.000181861,0.001530302,0.9893609],"genre_scores_gemma":[0.001704502,0.0001515569,0.0006052373,0.009913927,0.00785164,5.102881e-7,0.02271325,0.01165493,0.9454045],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1044427,"threshold_uncertainty_score":0.9999892,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03777770887390822,"score_gpt":0.2473319999759186,"score_spread":0.2095542911020104,"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."}}