{"id":"W4386071077","doi":"10.1016/j.tcs.2023.114138","title":"An integer linear programming approach to solving the Eternity Puzzle","year":2023,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Image Processing and 3D Reconstruction","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Guelph","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Eternity; Mathematics; Integer (computer science); Linear programming; Integer programming; Set (abstract data type); MATLAB; Algorithm; Computer science; Discrete mathematics; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.002766399,0.0001568144,0.0001389664,0.0002252914,0.001203325,0.001262771,0.003105241,0.00004329928,0.000003242544],"category_scores_gemma":[0.0001230261,0.0001006711,0.00004977439,0.002731313,0.001652054,0.0009604889,0.001008553,0.0002881524,0.0001565511],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003417764,"about_ca_system_score_gemma":0.0001203884,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004765275,"about_ca_topic_score_gemma":4.454822e-7,"domain_scores_codex":[0.9976336,0.0001367321,0.0002139693,0.0007486216,0.0006064469,0.0006606391],"domain_scores_gemma":[0.9984932,0.0001256373,0.00004832358,0.0008640111,0.0001995925,0.0002692465],"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.000003397232,0.00005828855,0.0000619985,0.00001109301,0.000002432564,0.000003721576,0.003024391,0.001260395,0.0005375587,0.4902365,0.00004802851,0.5047522],"study_design_scores_gemma":[0.00006177883,0.000095341,0.000284034,0.00002034426,0.000002291054,0.0000667982,0.00006663287,0.9800295,0.002240456,0.01671091,0.0002494526,0.0001724921],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03646462,0.000005235721,0.9592879,0.000980607,0.0007243808,0.0001856028,3.439489e-7,0.0006991368,0.00165219],"genre_scores_gemma":[0.6637642,4.780601e-7,0.3357329,0.0002992838,0.0001696435,0.0000141861,5.655084e-7,0.000006154778,0.00001252438],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9787691,"threshold_uncertainty_score":0.999774,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01719000225084754,"score_gpt":0.2769978860806397,"score_spread":0.2598078838297921,"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."}}