{"id":"https://openalex.org/W4403444005","doi":"https://doi.org/10.48550/arxiv.2410.08304","title":"Global Lyapunov functions: a long-standing open problem in mathematics,\n with symbolic transformers","display_name":"Global Lyapunov functions: a long-standing open problem in mathematics,\n with symbolic transformers","publication_year":2024,"publication_date":"2024-10-10","ids":{"openalex":"https://openalex.org/W4403444005","doi":"https://doi.org/10.48550/arxiv.2410.08304"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.08304","pdf_url":"http://arxiv.org/pdf/2410.08304","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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"posted-content","indexed_in":["arxiv"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://arxiv.org/pdf/2410.08304","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114285331","display_name":"Alberto Alfarano","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alfarano, Alberto","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045535925","display_name":"Fran\u00e7ois Charton","orcid":"https://orcid.org/0000-0002-5912-3342"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Charton, Fran\u00e7ois","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5005034959","display_name":"Amaury Hayat","orcid":"https://orcid.org/0000-0002-7017-1097"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hayat, Amaury","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"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":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":84},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.8922,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.8922,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.8743,"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/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.791,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.57354355},{"id":"https://openalex.org/C66322947","wikidata":"https://www.wikidata.org/wiki/Q11658","display_name":"Transformer","level":3,"score":0.56071967},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49036074},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3716583},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34732372},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17209804},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.12408605},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.1022411},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.09559274},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.051183462},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.08304","pdf_url":"http://arxiv.org/pdf/2410.08304","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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.08304","pdf_url":"http://arxiv.org/pdf/2410.08304","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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W3002753104","https://openalex.org/W2748952813","https://openalex.org/W2600246793","https://openalex.org/W2142036596","https://openalex.org/W2077600819","https://openalex.org/W2072657027","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421"],"abstract_inverted_index":{"Despite":[0],"their":[1],"spectacular":[2],"progress,":[3],"language":[4],"models":[5],"still":[6],"struggle":[7],"on":[8,73,83],"complex":[9],"reasoning":[10],"tasks,":[11],"such":[12,74],"as":[13],"advanced":[14],"mathematics.":[15],"We":[16,54],"consider":[17],"a":[18,25,34,56],"long-standing":[19],"open":[20],"problem":[21,38],"in":[22],"mathematics:":[23],"discovering":[24],"Lyapunov":[26,90],"function":[27],"that":[28,69],"ensures":[29],"the":[30],"global":[31],"stability":[32],"of":[33],"dynamical":[35],"system.":[36],"This":[37],"has":[39],"no":[40],"known":[41],"general":[42],"solution,":[43],"and":[44,67,81,86],"algorithmic":[45,79],"solvers":[46,80],"only":[47],"exist":[48],"for":[49,59,92],"some":[50],"small":[51],"polynomial":[52,84],"systems.":[53,94],"propose":[55],"new":[57,89],"method":[58],"generating":[60],"synthetic":[61],"training":[62],"samples":[63],"from":[64],"random":[65],"solutions,":[66],"show":[68],"sequence-to-sequence":[70],"transformers":[71],"trained":[72],"datasets":[75],"perform":[76],"better":[77],"than":[78],"humans":[82],"systems,":[85],"can":[87],"discover":[88],"functions":[91],"non-polynomial":[93]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4403444005","counts_by_year":[],"updated_date":"2024-12-15T10:00:43.504987","created_date":"2024-10-16"}