{"id":"https://openalex.org/W7225774196","doi":"https://doi.org/10.5281/zenodo.24134437","title":"Writing Provably Correct Spiking Circuits with LLMs","display_name":"Writing Provably Correct Spiking Circuits with LLMs","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225774196","doi":"https://doi.org/10.5281/zenodo.24134437"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24134437","doi":"https://doi.org/10.5281/zenodo.24134437","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24134437","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24134437","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5160945092","display_name":"Xintian Huang","orcid":"https://orcid.org/0009-0000-7664-7108","observed_orcids":["https://orcid.org/0009-0000-7664-7108"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Huang, Xintian","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0000-7664-7108","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5160945092"],"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.948199987411499,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.948199987411499,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.029200000688433647,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"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/T10320","display_name":"Neural Networks and Applications","score":0.007199999876320362,"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":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8052999973297119},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6922000050544739},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5891000032424927},{"id":"https://openalex.org/C151927369","wikidata":"https://www.wikidata.org/wiki/Q1981312","display_name":"Neuromorphic engineering","level":3,"score":0.545799970626831},{"id":"https://openalex.org/C2781390188","wikidata":"https://www.wikidata.org/wiki/Q25203449","display_name":"Spike (software development)","level":2,"score":0.5026999711990356},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.49219998717308044},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4311999976634979},{"id":"https://openalex.org/C11731999","wikidata":"https://www.wikidata.org/wiki/Q9067355","display_name":"Spiking neural network","level":3,"score":0.42329999804496765},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4185999929904938},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.4101000130176544},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3959999978542328},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3955000042915344},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3686000108718872},{"id":"https://openalex.org/C90329073","wikidata":"https://www.wikidata.org/wiki/Q914232","display_name":"Ask price","level":2,"score":0.3474000096321106},{"id":"https://openalex.org/C2780463512","wikidata":"https://www.wikidata.org/wiki/Q15122700","display_name":"Trainer","level":2,"score":0.33649998903274536},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.3018999993801117},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.2994000017642975},{"id":"https://openalex.org/C2777211547","wikidata":"https://www.wikidata.org/wiki/Q17141490","display_name":"Training (meteorology)","level":2,"score":0.2728999853134155},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.2705000042915344},{"id":"https://openalex.org/C81363708","wikidata":"https://www.wikidata.org/wiki/Q17084460","display_name":"Convolutional neural network","level":2,"score":0.2687999904155731},{"id":"https://openalex.org/C70970002","wikidata":"https://www.wikidata.org/wiki/Q189434","display_name":"Multiplexer","level":3,"score":0.26660001277923584},{"id":"https://openalex.org/C28490314","wikidata":"https://www.wikidata.org/wiki/Q189436","display_name":"Speech recognition","level":1,"score":0.2597000002861023},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.2542000114917755},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.2531999945640564},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.2531000077724457},{"id":"https://openalex.org/C97399411","wikidata":"https://www.wikidata.org/wiki/Q825367","display_name":"Coin flipping","level":2,"score":0.250900000333786},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24134437","doi":"https://doi.org/10.5281/zenodo.24134437","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24134437","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24134438","doi":"https://doi.org/10.5281/zenodo.24134438","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24134438","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24134437","doi":"https://doi.org/10.5281/zenodo.24134437","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24134437","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":[],"abstract_inverted_index":{"Neuromorphic":[0,236],"algorithms":[1],"are":[2,247],"usually":[3],"designed":[4],"by":[5,112],"hand,":[6],"and":[7,47,55,61,75,102,166,186,202,222],"gradient":[8],"training":[9,174],"of":[10,44,48,95,140,157,184,187],"spiking":[11,245],"networks":[12,85,149,206,226,246],"struggles":[13],"with":[14,154,209],"tasks":[15,70,153,172,199,231],"that":[16,131,244],"need":[17],"long-lived":[18],"discrete":[19],"state.":[20],"We":[21,240],"ask":[22],"whether":[23],"a":[24,41,45,109,128,188],"large":[25],"language":[26],"model":[27,53],"(LLM)":[28],"can":[29],"act":[30],"as":[31],"the":[32,65,87,113,132,151,163,169,195,214,228,235],"circuit":[33],"designer.":[34],"An":[35],"LLM":[36],"Writer":[37],"(Claude":[38],"Opus)":[39],"reads":[40],"plain-language":[42],"specification":[43],"task":[46],"an":[49],"integer":[50],"leaky-integrate-and-fire":[51],"network":[52],"(S0),":[54],"writes":[56],"every":[57,99,106],"weight,":[58],"threshold,":[59],"leak":[60],"delay":[62],"without":[63],"running":[64],"network.":[66],"On":[67],"13":[68],"streaming":[69],"(arithmetic,":[71],"divisibility,":[72],"bounded-depth":[73],"Dyck-1":[74],"modular-arithmetic":[76],"expressions)":[77],"we":[78],"made":[79],"5":[80],"attempts":[81],"each.":[82],"All":[83],"65":[84],"pass":[86],"official":[88],"scorer.":[89],"A":[90],"product-automaton":[91],"search":[92],"proves":[93],"57":[94],"them":[96],"correct":[97],"for":[98,105],"input":[100,130],"length":[101,107,141],"7":[103],"more":[104],"below":[108],"bound":[110],"set":[111],"32-bit":[114],"membrane":[115],"limit":[116],"(all":[117],"bounds":[118],"above":[119],"6.5":[120],"\u00d7":[121],"10^7":[122],"steps);":[123],"1":[124],"is":[125],"wrong":[126],"on":[127,137,150,168,175,194,227],"length-20":[129],"scorer":[133],"never":[134],"tries.":[135],"Trained":[136],"input-output":[138],"streams":[139,177],"up":[142],"to":[143,234],"10,":[144],"surrogate-gradient":[145],"BPTT":[146],"finds":[147],"exact":[148],"four":[152],"one":[155],"bit":[156],"state":[158],"(171/180":[159],"runs),":[160],"at":[161],"10\u201324\u00d7":[162],"Writer's":[164],"size,":[165],"none":[167,193],"other":[170],"9":[171],"(0/487);":[173],"longer":[176],"adds":[178],"only":[179],"mul13":[180],"(4/10).":[181],"Our":[182],"re-implementations":[183],"EventProp":[185],"convex":[189],"spiking-network":[190],"trainer":[191],"find":[192],"seven":[196],"original":[197,229],"hard":[198],"either":[200],"(0/105":[201],"0/63).":[203],"The":[204],"written":[205,225],"also":[207],"run":[208],"fewer":[210],"synaptic":[211],"operations":[212],"than":[213],"gradient-trained":[215],"ones":[216],"(2.3\u20136.2\u00d7":[217],"fewer,":[218],"best":[219],"against":[220],"best),":[221],"all":[223],"66":[224],"11":[230],"export":[232],"bit-exactly":[233],"Intermediate":[237],"Representation":[238],"(NIR).":[239],"do":[241],"not":[242],"claim":[243],"untrainable":[248],"in":[249],"general.":[250]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}