{"id":"W7128626216","doi":"10.1109/focs63196.2025.00114","title":"Rank Bounds and PIT for depth-4 circuits with top fan-in 3 and constant bottom fan-in via a non-linear Edelstein-Kelly theorem","year":2025,"lang":"","type":"article","venue":"","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Constant (computer programming); Conjecture; Rank (graph theory); Polynomial; Quadratic equation; Degree (music)","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.001418901,0.0006966902,0.001023748,0.000800044,0.0005152154,0.0008122507,0.0009565151,0.0002969669,0.00003778599],"category_scores_gemma":[0.00007790238,0.0006217653,0.0001481457,0.001920564,0.001172909,0.000675547,0.0006349891,0.0006339471,0.00000361613],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001022531,"about_ca_system_score_gemma":0.0006452188,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004875386,"about_ca_topic_score_gemma":0.002221766,"domain_scores_codex":[0.9954249,0.0001882778,0.00103441,0.001721567,0.0004539376,0.001176888],"domain_scores_gemma":[0.9973584,0.001007022,0.000198682,0.0009200957,0.0002313555,0.0002844923],"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.0004539581,0.0006188159,0.03231307,0.0006844524,0.0001780194,0.0001879054,0.004904856,0.00007049172,0.0007472895,0.374496,0.000148166,0.585197],"study_design_scores_gemma":[0.01310964,0.001458293,0.01162064,0.001619604,0.00008775952,0.0001709277,0.001240686,0.8261755,0.004325743,0.1361867,0.002495049,0.001509399],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1314265,0.00230142,0.8532444,0.001621008,0.00062335,0.00189347,0.00002812792,0.00007782681,0.008783922],"genre_scores_gemma":[0.9622986,0.0004416563,0.03515336,0.0009551812,0.000078765,0.0001041476,0.000004276778,0.00002860911,0.0009353908],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8308721,"threshold_uncertainty_score":0.9996234,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01430263340803149,"score_gpt":0.2601156714605916,"score_spread":0.2458130380525601,"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."}}