{"id":"https://openalex.org/W7128999179","doi":"https://doi.org/10.48550/arxiv.2602.12300","title":"Fast and General Automatic Differentiation for Finite-State Methods","display_name":"Fast and General Automatic Differentiation for Finite-State Methods","publication_year":2026,"publication_date":"2026-02-11","ids":{"openalex":"https://openalex.org/W7128999179","doi":"https://doi.org/10.48550/arxiv.2602.12300"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2602.12300","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.12300","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2602.12300","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5126094322","display_name":"Lucas Ondel Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I4387152856","display_name":"Laboratoire Interdisciplinaire des Sciences du Num\u00e9rique","ror":"https://ror.org/00rd81916","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4387152856"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yang, Lucas Ondel","raw_affiliation_strings":["LISN, CNRS"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LISN, CNRS","institution_ids":["https://openalex.org/I4387152856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050968038","display_name":"Tina Raissi","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Raissi, Tina","raw_affiliation_strings":["RWTH Aachen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RWTH Aachen","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031960713","display_name":"Martin Kocour","orcid":"https://orcid.org/0000-0003-4924-5124"},"institutions":[{"id":"https://openalex.org/I110678235","display_name":"Butler University","ror":"https://ror.org/05gq3a412","country_code":"US","type":"education","lineage":["https://openalex.org/I110678235"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kocour, Martin","raw_affiliation_strings":["FIT / BUT, BUT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FIT / BUT, BUT","institution_ids":["https://openalex.org/I110678235"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126020493","display_name":"Pablo Riera","orcid":null},"institutions":[{"id":"https://openalex.org/I4210120168","display_name":"Ian Catling Consultancy","ror":"https://ror.org/02fsyqx49","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210120168"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Riera, Pablo","raw_affiliation_strings":["ICC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ICC","institution_ids":["https://openalex.org/I4210120168"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045551176","display_name":"Caio Corro","orcid":null},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I28221208","display_name":"Institut National des Sciences Appliqu\u00e9es de Rennes","ror":"https://ror.org/04xaa4j22","country_code":"FR","type":"education","lineage":["https://openalex.org/I28221208"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Corro, Caio","raw_affiliation_strings":["LinkMedia, INSA Rennes, IRISA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LinkMedia, INSA Rennes, IRISA","institution_ids":["https://openalex.org/I28221208","https://openalex.org/I2802519937"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"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/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.33230000734329224,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.33230000734329224,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"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/T10142","display_name":"Formal Methods in Verification","score":0.3167000114917755,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.19709999859333038,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.7355999946594238},{"id":"https://openalex.org/keywords/automatic-differentiation","display_name":"Automatic differentiation","score":0.6520000100135803},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5365999937057495},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.507099986076355},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4903999865055084},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.47839999198913574}],"concepts":[{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.7355999946594238},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7006999850273132},{"id":"https://openalex.org/C133512626","wikidata":"https://www.wikidata.org/wiki/Q787371","display_name":"Automatic differentiation","level":3,"score":0.6520000100135803},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5365999937057495},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.507099986076355},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4903999865055084},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.47839999198913574},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4424000084400177},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.435699999332428},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.3880000114440918},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37389999628067017},{"id":"https://openalex.org/C35527583","wikidata":"https://www.wikidata.org/wiki/Q189156","display_name":"Cellular automaton","level":2,"score":0.31439998745918274},{"id":"https://openalex.org/C2777394884","wikidata":"https://www.wikidata.org/wiki/Q762268","display_name":"Automatic programming","level":2,"score":0.29649999737739563},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.26930001378059387},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.26440000534057617},{"id":"https://openalex.org/C2992306863","wikidata":"https://www.wikidata.org/wiki/Q188860","display_name":"Library function","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2602.12300","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.12300","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2602.12300","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.12300","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"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":{"We":[0],"propose":[1],"a":[2,23,67,87,94,117],"new":[3],"method,":[4],"that":[5,56],"we":[6,52],"coined":[7],"the":[8,38,46,60,77,84,91],"``morphism-trick'',":[9],"to":[10,22,32,90],"integrate":[11],"custom":[12],"implementations":[13,36],"of":[14,26,37,41,49,62,66,86,93,99],"vector-Jacobian":[15],"products":[16],"in":[17],"automatic":[18,104],"differentiation":[19,105],"softwares,":[20],"applicable":[21],"wide":[24],"range":[25],"semiring-based":[27],"computations.":[28],"Our":[29],"approach":[30],"leads":[31],"efficient":[33],"and":[34,58],"semiring-agnostic":[35],"backward":[39],"pass":[40],"dynamic":[42],"programming":[43],"algorithms.":[44],"For":[45],"particular":[47],"case":[48],"finite-state":[50,68],"methods,":[51],"introduce":[53],"an":[54,112],"algorithm":[55],"computes":[57],"differentiates":[59],"$\\oplus$-sum":[61],"all":[63],"paths'":[64],"weight":[65],"automaton.":[69],"Results":[70],"show":[71],"that,":[72],"with":[73],"minimal":[74],"effort":[75],"from":[76],"user,":[78],"our":[79],"novel":[80],"library":[81,114],"allows":[82],"computing":[83],"gradient":[85],"function":[88],"w.r.t.":[89],"weights":[92],"finite":[95],"state":[96],"automaton":[97],"orders":[98],"magnitude":[100],"faster":[101],"than":[102],"state-of-the-art":[103],"systems.":[106],"Implementations":[107],"are":[108],"made":[109],"available":[110],"via":[111],"open-source":[113],"distributed":[115],"under":[116],"permissive":[118],"license.":[119]},"counts_by_year":[],"updated_date":"2026-06-12T08:23:45.883708","created_date":"2026-02-17T00:00:00"}