{"id":"W4416033842","doi":"10.18653/v1/2025.mathnlp-main.11","title":"Logically Constrained Decoding","year":2025,"lang":"","type":"article","venue":"","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Decoding methods; Resolution (logic); Implementation; Encoding (memory); Propositional variable; Constraint (computer-aided design); Propositional calculus","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004530005,0.001481895,0.001025712,0.001347031,0.001961209,0.004401659,0.003769987,0.002311906,0.01609285],"category_scores_gemma":[0.02594363,0.00119284,0.002306914,0.00160447,0.005276777,0.008420929,0.007250675,0.00444514,0.005173613],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00218758,"about_ca_system_score_gemma":0.005867794,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003772226,"about_ca_topic_score_gemma":0.005420587,"domain_scores_codex":[0.9915525,0.002914327,0.000680331,0.001429862,0.002795335,0.0006275275],"domain_scores_gemma":[0.9818254,0.008524004,0.000665264,0.006254639,0.002494223,0.000236523],"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.0001197893,0.00004880361,0.0005126633,0.0002673407,0.00004373634,0.0002929183,0.0006380387,0.01564149,0.007345034,0.9013503,0.009461174,0.06427879],"study_design_scores_gemma":[0.00005536763,0.00003384872,0.00008045784,0.00009662623,0.00005110424,0.0002471128,0.0001305665,0.100134,0.02142113,0.8210635,0.05661817,0.00006802584],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004678915,0.0001313425,0.9757252,0.0007100676,0.0001669873,0.0001366292,0.0005975834,0.003546301,0.01430695],"genre_scores_gemma":[0.2617632,0.0005610303,0.7138744,0.001614859,0.0002613154,0.0006104757,0.002550023,0.004833038,0.01393172],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01609285,"threshold_uncertainty_score":0.05383599,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01116208968923412,"score_gpt":0.2753850156023659,"score_spread":0.2642229259131318,"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."}}