{"id":"https://openalex.org/W7225091817","doi":"https://doi.org/10.5281/zenodo.23888904","title":"What Does an Integer-Factorization Experiment Prove? Exact Bounded-Search Records, Independent Checking, and Fault Attribution","display_name":"What Does an Integer-Factorization Experiment Prove? Exact Bounded-Search Records, Independent Checking, and Fault Attribution","publication_year":2026,"publication_date":"2026-11-02","ids":{"openalex":"https://openalex.org/W7225091817","doi":"https://doi.org/10.5281/zenodo.23888904"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23888904","doi":"https://doi.org/10.5281/zenodo.23888904","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23888904","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23888904","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078115449","display_name":"Md. Amir Khusru Akhtar","orcid":"https://orcid.org/0000-0002-3432-4199","observed_orcids":["https://orcid.org/0000-0002-3432-4199"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Akhtar, Mohammad Amir Khusru","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-3432-4199","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5078115449"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.21780000627040863,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.21780000627040863,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.1881999969482422,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.1103999987244606,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/integer-factorization","display_name":"integer factorization","score":0.9860000014305115},{"id":"https://openalex.org/keywords/greatest-common-divisor","display_name":"greatest common divisor","score":0.6679999828338623},{"id":"https://openalex.org/keywords/reproducibility","display_name":"reproducibility","score":0.8230000138282776},{"id":"https://openalex.org/keywords/fault-attribution","display_name":"fault attribution","score":0.8880000114440918},{"id":"https://openalex.org/keywords/semiprimes","display_name":"semiprimes","score":0.7929999828338623},{"id":"https://openalex.org/keywords/computational-provenance","display_name":"computational provenance","score":0.5870000123977661},{"id":"https://openalex.org/keywords/cross-linguistic-comparison","display_name":"cross-linguistic comparison","score":0.47999998927116394},{"id":"https://openalex.org/keywords/reproducibility-verification","display_name":"reproducibility verification","score":0.36800000071525574}],"concepts":[{"id":"https://openalex.org/C177225278","wikidata":"https://www.wikidata.org/wiki/Q192674","display_name":"Factoring","level":2,"score":0.6513000130653381},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6247000098228455},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5134000182151794},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5074999928474426},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44769999384880066},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.436599999666214},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4325000047683716},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.42559999227523804},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.41990000009536743},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4129999876022339},{"id":"https://openalex.org/C98371066","wikidata":"https://www.wikidata.org/wiki/Q230848","display_name":"Euclidean algorithm","level":2,"score":0.3962000012397766},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.3871000111103058},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.3531000018119812},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3433000147342682},{"id":"https://openalex.org/C67388219","wikidata":"https://www.wikidata.org/wiki/Q207440","display_name":"Hash table","level":3,"score":0.33739998936653137},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.31630000472068787},{"id":"https://openalex.org/C129782007","wikidata":"https://www.wikidata.org/wiki/Q162886","display_name":"Euclidean geometry","level":2,"score":0.3122999966144562},{"id":"https://openalex.org/C46686674","wikidata":"https://www.wikidata.org/wiki/Q466303","display_name":"Boosting (machine learning)","level":2,"score":0.29109999537467957},{"id":"https://openalex.org/C87670640","wikidata":"https://www.wikidata.org/wiki/Q132469","display_name":"Fermat's Last Theorem","level":2,"score":0.29010000824928284},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.28529998660087585},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28200000524520874},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.2791999876499176},{"id":"https://openalex.org/C2777168461","wikidata":"https://www.wikidata.org/wiki/Q42196253","display_name":"Set operations","level":3,"score":0.25589999556541443},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.25060001015663147}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23888904","doi":"https://doi.org/10.5281/zenodo.23888904","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23888904","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23888906","doi":"https://doi.org/10.5281/zenodo.23888906","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23888906","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23888904","doi":"https://doi.org/10.5281/zenodo.23888904","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23888904","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7224827750","https://openalex.org/W7124309296","https://openalex.org/W7221472725","https://openalex.org/W7172453548","https://openalex.org/W7115913603","https://openalex.org/W7204553466","https://openalex.org/W7115923387","https://openalex.org/W7128379963","https://openalex.org/W7164739592","https://openalex.org/W6911440512"],"abstract_inverted_index":{"A":[0,148],"factorization":[1],"report":[2],"may":[3],"assert":[4],"a":[5,8,37,66,178],"valid":[6],"divisor,":[7],"complete":[9,100],"bounded":[10,163],"search,":[11],"faithful":[12],"intermediate":[13],"arithmetic,":[14],"public-input":[15],"provenance,":[16,177],"or":[17,182],"computational":[18],"superiority;":[19],"these":[20],"assertions":[21],"require":[22],"different":[23],"evidence.":[24],"We":[25],"examine":[26],"exact,":[27],"non-succinct":[28],"Fermat-search":[29],"records":[30],"and":[31,44,56,65,86,95,138,156,169],"canonical":[32],"Euclidean":[33,84],"greatest-common-divisor":[34],"transcripts":[35],"through":[36],"two-kernel":[38],"verification":[39],"interface":[40],"with":[41,99],"strict":[42],"decoding":[43],"explicit":[45],"resource-policy":[46],"outcomes.":[47],"The":[48,105,160],"original":[49],"fixed-budget":[50],"experiment":[51],"used":[52],"six":[53],"synthetic":[54],"semiprimes":[55],"60":[57],"controlled":[58],"mutations;":[59],"two":[60],"separately":[61],"coded":[62],"Fermat":[63,80],"checkers":[64],"conventional":[67,103,185],"recomputation":[68],"baseline":[69],"agreed":[70],"on":[71],"every":[72],"outcome.":[73],"An":[74],"expanded":[75],"evaluation":[76],"includes":[77],"227":[78],"cross-language":[79],"comparisons,":[81],"749":[82],"matched":[83],"decisions,":[85],"an":[87,144],"812-case":[88],"corpus":[89],"yielding":[90],"260":[91,123],"accepted,":[92],"544":[93,119],"rejected,":[94],"eight":[96],"resource-limited":[97],"inputs,":[98],"agreement":[101],"against":[102],"recomputation.":[104],"reported":[106],"first":[107],"failed":[108],"invariant":[109],"belonged":[110],"to":[111],"the":[112],"independently":[113],"recomputed":[114],"violated-invariant":[115],"set":[116],"for":[117],"all":[118],"rejected":[120],"records,":[121],"although":[122],"multi-mutant":[124],"cases":[125],"admit":[126],"no":[127],"unique":[128],"causal":[129],"interpretation.":[130],"Eighteen":[131],"benchmark":[132],"configurations":[133],"yielded":[134],"1,386":[135],"timing":[136],"observations":[137,141],"72":[139],"memory":[140],"without":[142],"establishing":[143],"end-to-end":[145],"speed":[146],"advantage.":[147],"pinned":[149],"separate":[150],"checkout":[151],"reproduced":[152],"22":[153],"evidence-file":[154],"hashes":[155],"three":[157],"deterministic":[158],"datasets.":[159],"results":[161],"establish":[162],"record":[164],"consistency":[165],"under":[166],"stated":[167],"assumptions":[168],"reproducibility":[170],"of":[171],"selected":[172],"tests,":[173],"not":[174],"historical":[175],"execution":[176],"new":[179],"factoring":[180],"method,":[181],"superiority":[183],"over":[184],"checking.":[186]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-11-03T00:00:00"}