{"id":"W4402309980","doi":"10.1007/978-3-031-71294-4","title":"Logic-Based Program Synthesis and Transformation","year":2024,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"University of Toronto","keywords":"Computer science; Logic program; Programming language; Transformation (genetics); Program transformation; Program synthesis; Theoretical computer science; Logic programming","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","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001109477,0.0004362785,0.000453591,0.0006909008,0.0002024208,0.001521769,0.001810844,0.0003380252,0.000004416613],"category_scores_gemma":[0.00007559455,0.0003372525,0.0001193777,0.00104775,0.0005275101,0.0005231899,0.0003569751,0.0005663431,0.00005590441],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002619608,"about_ca_system_score_gemma":0.0008543847,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002122474,"about_ca_topic_score_gemma":0.000048466,"domain_scores_codex":[0.9968737,0.00007152815,0.0004436535,0.00123352,0.0007701314,0.0006074514],"domain_scores_gemma":[0.9983584,0.0004352797,0.0001503024,0.0007724678,0.0001307626,0.0001528474],"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.000001893209,0.00003629522,0.00001009039,0.0002405128,0.000007738211,0.00004992477,0.0007124522,0.001289082,0.000009214438,0.0401419,0.00007133678,0.9574296],"study_design_scores_gemma":[0.0001632168,0.0003333403,0.00003529192,0.0002232502,0.00001966748,0.00007651663,3.646915e-7,0.7227637,0.000962523,0.254925,0.01984698,0.0006500964],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00001469401,0.001196966,0.9900959,0.0009385212,0.001594327,0.0008421419,0.000001786893,0.000580859,0.004734852],"genre_scores_gemma":[0.6257684,0.00005457605,0.3711279,0.001319877,0.0007719322,0.0002643402,0.00001371164,0.00005538104,0.0006239106],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9567795,"threshold_uncertainty_score":0.999908,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01892865429986687,"score_gpt":0.2540172893359633,"score_spread":0.2350886350360965,"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."}}