{"id":"https://openalex.org/W7162458079","doi":"https://doi.org/10.48550/arxiv.2605.24649","title":"On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks","display_name":"On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks","publication_year":2026,"publication_date":"2026-05-23","ids":{"openalex":"https://openalex.org/W7162458079","doi":"https://doi.org/10.48550/arxiv.2605.24649"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.24649","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.24649","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.24649","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5127880201","display_name":"Sai Sandeep Damera","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Damera, Sai Sandeep","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5117620199","display_name":"Ryan Matheu","orcid":"https://orcid.org/0009-0007-0669-7661"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Matheu, Ryan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010006741","display_name":"Aniruddh G. Puranic","orcid":"https://orcid.org/0000-0003-0010-9789"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Puranic, Aniruddh G.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044395526","display_name":"John S. Baras","orcid":"https://orcid.org/0000-0002-4955-8561"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Baras, John S.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5137081305","display_name":"Calin Belta","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Belta, Calin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.590399980545044,"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"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.590399980545044,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.2856000065803528,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.009800000116229057,"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/recurrent-neural-network","display_name":"Recurrent neural network","score":0.5307000279426575},{"id":"https://openalex.org/keywords/realizability","display_name":"Realizability","score":0.527400016784668},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.43209999799728394},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.36149999499320984},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.34790000319480896},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.34689998626708984},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.34630000591278076},{"id":"https://openalex.org/keywords/logic-optimization","display_name":"Logic optimization","score":0.3424000144004822},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.334199994802475},{"id":"https://openalex.org/keywords/ternary-operation","display_name":"Ternary operation","score":0.33079999685287476}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5688999891281128},{"id":"https://openalex.org/C147168706","wikidata":"https://www.wikidata.org/wiki/Q1457734","display_name":"Recurrent neural network","level":3,"score":0.5307000279426575},{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.527400016784668},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4733999967575073},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.43209999799728394},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4092000126838684},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.36149999499320984},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.34790000319480896},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.34689998626708984},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.34630000591278076},{"id":"https://openalex.org/C28449271","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Logic optimization","level":4,"score":0.3424000144004822},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.334199994802475},{"id":"https://openalex.org/C64452783","wikidata":"https://www.wikidata.org/wiki/Q1524945","display_name":"Ternary operation","level":2,"score":0.33079999685287476},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.31769999861717224},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C175291020","wikidata":"https://www.wikidata.org/wiki/Q1156822","display_name":"Offset (computer science)","level":2,"score":0.2964000105857849},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29499998688697815},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.2912999987602234},{"id":"https://openalex.org/C202615002","wikidata":"https://www.wikidata.org/wiki/Q783507","display_name":"Differentiable function","level":2,"score":0.29109999537467957},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.289900004863739},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.28619998693466187},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28299999237060547},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.272599995136261},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.27129998803138733},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.26409998536109924},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.2630999982357025},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.26159998774528503},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.2615000009536743},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.2574000060558319},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.25609999895095825},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.2547000050544739},{"id":"https://openalex.org/C28495749","wikidata":"https://www.wikidata.org/wiki/Q155516","display_name":"XOR gate","level":3,"score":0.25429999828338623}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.24649","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.24649","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.24649","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.24649","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Recurrent":[0,60],"Neural":[1],"Networks":[2],"(RNNs)":[3],"can":[4,48,146],"learn":[5],"to":[6,55,93,169,176,232],"predict":[7],"Signal":[8],"Temporal":[9],"Logic":[10,63],"(STL)":[11],"verdicts":[12],"online":[13],"from":[14,53,111,184],"partial":[15],"trajectories,":[16],"but":[17],"deploying":[18],"them":[19],"as":[20],"runtime":[21],"monitors":[22],"in":[23,141,249],"safety-critical":[24],"systems":[25],"demands":[26],"more":[27],"than":[28],"predictive":[29],"accuracy.":[30],"Standard":[31],"RNN":[32],"architectures":[33],"offer":[34],"no":[35],"structural":[36],"guarantee":[37,130],"that":[38,70,153,239],"outputs":[39],"degrade":[40],"gracefully":[41],"under":[42,217],"sensor":[43],"degradation;":[44],"a":[45,51,67,94,200],"dropped":[46],"input":[47,142],"silently":[49],"flip":[50],"verdict":[52],"safe":[54],"unsafe.":[56],"We":[57,101,151,203],"introduce":[58],"the":[59,103,115,149,154,173,177,185,192,221,235],"Differentiable":[61],"Ternary":[62],"Gate":[64],"Network":[65],"(R-DTLGN),":[66],"recurrent":[68,123,155,237],"architecture":[69,238],"operates":[71],"over":[72,208],"Kleene's":[73],"three-valued":[74,250],"logic":[75,97],"$\\{-1,":[76],"0,":[77],"+1\\}$,":[78],"where":[79],"$0$":[80],"explicitly":[81],"represents":[82],"unknown.":[83],"The":[84,229],"R-DTLGN":[85,230],"trains":[86],"through":[87,106],"continuous":[88],"polynomial":[89],"surrogates":[90],"and":[91,139,165,220],"hardens":[92],"discrete":[95],"ternary":[96,116],"circuit":[98,105],"at":[99],"inference.":[100],"analyze":[102],"hardened":[104],"two":[107,112,225],"gate":[108],"vocabularies":[109],"derived":[110,183],"orderings":[113],"on":[114,205],"domain:":[117],"numerically":[118],"monotone":[119],"gates":[120],"ensure":[121],"stable":[122],"dynamics,":[124],"while":[125],"information-monotone":[126],"gates,":[127],"when":[128],"present,":[129],"principled":[131],"abstention":[132],"(unknown":[133],"inputs":[134],"never":[135],"produce":[136],"wrong":[137],"outputs)":[138],"monotonicity":[140],"certainty":[143],"(more":[144],"information":[145],"only":[147],"improve":[148],"verdict).":[150],"show":[152],"connections":[156],"required":[157],"by":[158],"bounded":[159],"STL":[160,186,206],"operators":[161,189],"use":[162],"exclusively":[163],"AND":[164],"OR,":[166],"which":[167],"belong":[168],"both":[170],"vocabularies,":[171],"linking":[172],"monitoring":[174],"task":[175],"architecture's":[178],"guarantees.":[179],"A":[180],"realizability":[181],"bound":[182],"formula's":[187],"temporal":[188,242],"directly":[190],"sizes":[191],"network's":[193],"hidden":[194],"state,":[195],"replacing":[196],"hyperparameter":[197],"search":[198],"with":[199,244],"formula-driven":[201],"specification.":[202],"evaluate":[204],"specifications":[207],"D4RL":[209],"PointMaze":[210],"navigation":[211],"data,":[212],"testing":[213],"prediction":[214,243],"accuracy,":[215],"degradation":[216,246],"predicate":[218],"dropout,":[219],"accuracy-versus-safety":[222],"tradeoff":[223],"between":[224],"label":[226],"construction":[227],"pipelines.":[228],"is,":[231],"our":[233],"knowledge,":[234],"first":[236],"couples":[240],"learned":[241],"formal":[245],"guarantees":[247],"rooted":[248],"logic.":[251]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-27T00:00:00"}