{"id":"W4413470498","doi":"10.1007/978-3-031-84869-8_2","title":"On Constructing Finite Automata by Relational Programming","year":2025,"lang":"en","type":"book-chapter","venue":"Springer proceedings in mathematics & statistics","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Programming language; Automaton; Theoretical computer science","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"],"consensus_categories":[],"category_scores_codex":[0.0007689421,0.0005923417,0.0006593601,0.0004605102,0.0001573731,0.0004307042,0.001105342,0.0003703721,0.00005625886],"category_scores_gemma":[0.00083262,0.000621165,0.00009379331,0.0001450735,0.000165351,0.0002600877,0.0005946599,0.0009283458,0.00009102561],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002230253,"about_ca_system_score_gemma":0.0001651994,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002273024,"about_ca_topic_score_gemma":0.00000122598,"domain_scores_codex":[0.9968567,0.000007142077,0.001025492,0.0008056023,0.0007984015,0.0005066681],"domain_scores_gemma":[0.9970283,0.001355578,0.0007926721,0.0004717838,0.000245111,0.0001065738],"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.000002993402,0.00006193849,0.00001362337,0.0006983549,0.00004499687,0.00002489744,0.0005043231,0.000006204342,0.00001087437,0.9527899,0.005423194,0.04041867],"study_design_scores_gemma":[0.0003580421,0.00006907417,0.000004700552,0.002421653,0.00004231812,0.00001883229,0.00004735908,0.05860709,0.00005171716,0.9077529,0.02995261,0.0006737092],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00004257622,0.000175392,0.661091,0.0001229776,0.000447062,0.0006603965,0.0002330194,0.0005057259,0.3367219],"genre_scores_gemma":[0.000409777,0.00009381898,0.9256067,0.0001509688,0.00007172815,0.00004397735,0.00005423468,0.00008359682,0.07348523],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2645157,"threshold_uncertainty_score":0.999624,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01439445814878033,"score_gpt":0.2384296293471486,"score_spread":0.2240351711983682,"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."}}