{"id":"W7083828812","doi":"10.5281/zenodo.17231399","title":"Hensel CPU Arithmetic Logic Units: Circuit Design for Exact Computing with 2-adic Arithmetic","year":2025,"lang":"en","type":"report","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Geochemistry and Geologic Mapping","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Future Earth","funders":"","keywords":"Saturation arithmetic; Arithmetic circuit complexity; Circuit design; Logic synthesis; Arbitrary-precision arithmetic; Logic gate","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.0002347872,0.0005006374,0.0002939544,0.0005540251,0.000287608,0.000744192,0.0009278184,0.0003279533,0.009045043],"category_scores_gemma":[0.0006980161,0.0002092676,0.0002284696,0.0005932016,0.0002600237,0.0009164853,0.000341453,0.0003807184,0.001326991],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000683895,"about_ca_system_score_gemma":0.0006432766,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009253073,"about_ca_topic_score_gemma":0.002373999,"domain_scores_codex":[0.999798,0.0000462853,0.00001282546,0.00004704504,0.00005714414,0.0000387848],"domain_scores_gemma":[0.9997966,0.00005998398,0.00002221493,0.00003461219,0.00007610955,0.00001052682],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001096859,0.0001254244,0.001009056,0.001086036,0.0001114943,0.0001960536,0.0002407885,0.07367441,0.11716,0.2302645,0.02336715,0.5516682],"study_design_scores_gemma":[0.0002026413,0.001221742,0.001223007,0.0001724309,0.000164084,0.0005125414,0.00009917976,0.5838435,0.2328911,0.09626176,0.08331917,0.00008880383],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08013228,0.001984478,0.8821028,0.0002793586,0.0002106117,0.0001830025,0.0004626557,0.003348042,0.03129673],"genre_scores_gemma":[0.6970561,0.0005695565,0.2888043,0.0002567304,0.00008458382,0.0001813424,0.0004310232,0.0002433988,0.01237299],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009045043,"threshold_uncertainty_score":0.03025866,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1031234424200799,"score_gpt":0.2663944351421194,"score_spread":0.1632709927220395,"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."}}