{"id":"W4400650105","doi":"10.1145/3666000.3669712","title":"SAT and Lattice Reduction for Integer Factorization","year":2024,"lang":"en","type":"article","venue":"","topic":"graph theory and CDMA systems","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"Universitas Brawijaya","keywords":"Lattice reduction; Factorization; Reduction (mathematics); Integer (computer science); Lattice (music); Integer lattice; Integer factorization; Computer science; Combinatorics; Mathematics; Discrete mathematics; Algorithm; Physics; Condensed matter physics; Half-integer; Statistics","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":[],"consensus_categories":[],"category_scores_codex":[0.00005148781,0.0000341451,0.0000304736,0.00003099412,0.00001409735,0.00003323755,0.00001054232,0.00002555678,0.00002090331],"category_scores_gemma":[0.000003357073,0.00002845892,0.00001254786,0.00005084398,0.000004583325,0.00009253176,0.000001699189,0.00002311335,0.00001310601],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007607366,"about_ca_system_score_gemma":0.000001120244,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001300353,"about_ca_topic_score_gemma":8.021033e-7,"domain_scores_codex":[0.999837,0.000003704558,0.00004717438,0.0000513462,0.000017916,0.00004285131],"domain_scores_gemma":[0.9999297,0.00001859146,0.000001687101,0.00003087268,0.00000641904,0.00001273276],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000119398,0.000006863437,0.0001252585,0.001299168,0.0001184882,0.00000103177,0.002676709,0.00137117,0.1135159,0.8378252,0.009537078,0.03351111],"study_design_scores_gemma":[0.0004432633,0.0001292402,0.0007322183,0.0003373646,0.0001171272,0.00009703703,0.002623174,0.410651,0.09078074,0.1165756,0.3768302,0.0006829512],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.387061,0.00141682,0.5942522,0.00008902868,0.003808446,0.0002687379,0.000008551367,0.001026332,0.0120689],"genre_scores_gemma":[0.9986329,0.00001273903,0.0001456637,0.000002485433,0.0001053458,0.00001132826,0.000006424716,0.000009153896,0.001073948],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7212496,"threshold_uncertainty_score":0.1160521,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007918975520314593,"score_gpt":0.2071556481797643,"score_spread":0.1992366726594497,"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."}}