{"id":"W7117276983","doi":"","title":"The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques","year":2025,"lang":"","type":"article","venue":"ArXiv.org","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Oracle; Tuple; Scalability; Set (abstract data type); Boolean function; Class (philosophy); Function (biology); Construct (python library)","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.01170822,0.00136287,0.001546071,0.001314541,0.001067398,0.003544889,0.004977681,0.002123112,0.007599667],"category_scores_gemma":[0.04271329,0.001373553,0.002543269,0.001615418,0.006132835,0.01432582,0.004271636,0.00734139,0.002183409],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002526971,"about_ca_system_score_gemma":0.003008735,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001363136,"about_ca_topic_score_gemma":0.001588136,"domain_scores_codex":[0.9870936,0.005020383,0.0007495977,0.001975187,0.004535852,0.0006253538],"domain_scores_gemma":[0.9341027,0.0517692,0.001307672,0.01077892,0.001733086,0.0003084483],"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.0003854535,0.0001990145,0.001212678,0.001395736,0.0001359503,0.0001886855,0.0004370278,0.1311903,0.008680766,0.6593416,0.00384742,0.1929853],"study_design_scores_gemma":[0.00007544611,0.0001627643,0.0001838629,0.0002537583,0.00005892697,0.0002243337,0.0001105491,0.3417013,0.01036559,0.6352208,0.01159097,0.0000516681],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009514119,0.001388634,0.9772329,0.00213253,0.00006037725,0.00009628238,0.0001657017,0.00155584,0.007853705],"genre_scores_gemma":[0.3837757,0.00391635,0.6046246,0.001288404,0.0002768958,0.0004670862,0.0006845298,0.0009015218,0.004064973],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01170822,"threshold_uncertainty_score":0.06191969,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07686800602444017,"score_gpt":0.3022238584691346,"score_spread":0.2253558524446944,"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."}}