{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001648037,0.0008886966,0.001065786,0.001241647,0.001123873,0.002495855,0.001406333,0.0008502363,0.01383116],"category_scores_gemma":[0.006454974,0.0005692331,0.002473823,0.001965557,0.003110833,0.00430445,0.002251595,0.004733915,0.002687313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002709444,"about_ca_system_score_gemma":0.002670062,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004025601,"about_ca_topic_score_gemma":0.006129778,"domain_scores_codex":[0.9966635,0.001107994,0.0001694751,0.0005679437,0.001133854,0.0003572787],"domain_scores_gemma":[0.9969047,0.001954474,0.0001443538,0.0005987768,0.0003215093,0.00007619689],"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.0001634297,0.0001218363,0.0004174199,0.0002742026,0.00006322692,0.0001107223,0.0001722102,0.05406481,0.003165734,0.8522211,0.01051673,0.07870857],"study_design_scores_gemma":[0.00006922131,0.00004362058,0.00009186263,0.00004218898,0.00002639318,0.00007119469,0.00005576843,0.1992107,0.004279613,0.784512,0.01157269,0.00002487709],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01733633,0.0008204711,0.9420705,0.001971013,0.0002771276,0.000236813,0.0004116913,0.001750296,0.03512564],"genre_scores_gemma":[0.3410103,0.0009883506,0.6379243,0.0009082628,0.0004682244,0.0005556665,0.001225012,0.0004236338,0.01649624],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01383116,"threshold_uncertainty_score":0.04626989,"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."}}