{"id":"https://openalex.org/W4390603471","doi":"https://doi.org/10.1145/3632897","title":"Monotonicity and the Precision of Program Analysis","display_name":"Monotonicity and the Precision of Program Analysis","publication_year":2024,"publication_date":"2024-01-02","ids":{"openalex":"https://openalex.org/W4390603471","doi":"https://doi.org/10.1145/3632897"},"language":"en","primary_location":{"id":"doi:10.1145/3632897","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632897","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632897","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3632897","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046074502","display_name":"Marco Campion","orcid":"https://orcid.org/0000-0002-1099-3494"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Marco Campion","raw_affiliation_strings":["Inria - ENS - Universit\u00e9 PSL, Paris, France"],"raw_orcid":"https://orcid.org/0000-0002-1099-3494","affiliations":[{"raw_affiliation_string":"Inria - ENS - Universit\u00e9 PSL, Paris, France","institution_ids":["https://openalex.org/I29607241","https://openalex.org/I1326498283","https://openalex.org/I2746051580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005632682","display_name":"Mila Dalla Preda","orcid":"https://orcid.org/0000-0003-2761-4347"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mila Dalla Preda","raw_affiliation_strings":["University of Verona, Verona, Italy"],"raw_orcid":"https://orcid.org/0000-0003-2761-4347","affiliations":[{"raw_affiliation_string":"University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052881133","display_name":"Roberto Giacobazzi","orcid":"https://orcid.org/0000-0002-9582-3960"},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Roberto Giacobazzi","raw_affiliation_strings":["University of Arizona, Tucson, USA","University of Arizona (Tucson AZ 85721 USA - United States)"],"raw_orcid":"https://orcid.org/0000-0002-9582-3960","affiliations":[{"raw_affiliation_string":"University of Arizona, Tucson, USA","institution_ids":["https://openalex.org/I138006243"]},{"raw_affiliation_string":"University of Arizona (Tucson AZ 85721 USA - United States)","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077439185","display_name":"Caterina Urban","orcid":"https://orcid.org/0000-0002-8127-9642"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Caterina Urban","raw_affiliation_strings":["Inria - ENS - Universit\u00e9 PSL, Paris, France"],"raw_orcid":"https://orcid.org/0000-0002-8127-9642","affiliations":[{"raw_affiliation_string":"Inria - ENS - Universit\u00e9 PSL, Paris, France","institution_ids":["https://openalex.org/I29607241","https://openalex.org/I1326498283","https://openalex.org/I2746051580"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5046074502"],"corresponding_institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241"],"apc_list":null,"apc_paid":null,"fwci":0.324,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59745949,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"8","issue":"POPL","first_page":"1629","last_page":"1662"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9986000061035156,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9986000061035156,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9983999729156494,"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/abstract-interpretation","display_name":"Abstract interpretation","score":0.9025589823722839},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.7485626935958862},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7244813442230225},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.7066904306411743},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.6153332591056824},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5832089185714722},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5825724601745605},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5667048096656799},{"id":"https://openalex.org/keywords/convexity","display_name":"Convexity","score":0.5467932224273682},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5457181930541992},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.505282461643219},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49342742562294006},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44425255060195923},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.4372020363807678},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3999757468700409},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26313167810440063},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14508506655693054},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.13918817043304443}],"concepts":[{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.9025589823722839},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.7485626935958862},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7244813442230225},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.7066904306411743},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.6153332591056824},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5832089185714722},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5825724601745605},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5667048096656799},{"id":"https://openalex.org/C72134830","wikidata":"https://www.wikidata.org/wiki/Q5166524","display_name":"Convexity","level":2,"score":0.5467932224273682},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5457181930541992},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.505282461643219},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49342742562294006},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44425255060195923},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.4372020363807678},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3999757468700409},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26313167810440063},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14508506655693054},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.13918817043304443},{"id":"https://openalex.org/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3632897","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632897","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632897","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:repository.arizona.edu:10150/672114","is_oa":true,"landing_page_url":"http://hdl.handle.net/10150/672114","pdf_url":"https://repository.arizona.edu/bitstream/10150/672114/1/3632897.pdf","source":{"id":"https://openalex.org/S4306400271","display_name":"UA Campus Repository (The University of Arizona)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138006243","host_organization_name":"University of Arizona","host_organization_lineage":["https://openalex.org/I138006243"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"text"},{"id":"pmh:oai:HAL:hal-04423578v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04423578","pdf_url":"https://inria.hal.science/hal-04423578v1/file/POPL-2024.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.1629-1662. ⟨10.1145/3632897⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1145/3632897","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632897","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632897","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8557363096","display_name":null,"funder_award_id":"ANR-23-PEIA-0006","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4390603471.pdf","grobid_xml":"https://content.openalex.org/works/W4390603471.grobid-xml"},"referenced_works_count":74,"referenced_works":["https://openalex.org/W45151810","https://openalex.org/W77406878","https://openalex.org/W1511668635","https://openalex.org/W1514023947","https://openalex.org/W1537372611","https://openalex.org/W1598263475","https://openalex.org/W1611084195","https://openalex.org/W1879453804","https://openalex.org/W1980153792","https://openalex.org/W1983764301","https://openalex.org/W1997456729","https://openalex.org/W2014764321","https://openalex.org/W2024170198","https://openalex.org/W2035383849","https://openalex.org/W2035667607","https://openalex.org/W2043100293","https://openalex.org/W2046160987","https://openalex.org/W2046213250","https://openalex.org/W2084875723","https://openalex.org/W2088376608","https://openalex.org/W2102550998","https://openalex.org/W2102983272","https://openalex.org/W2106647551","https://openalex.org/W2107220315","https://openalex.org/W2109405546","https://openalex.org/W2111422217","https://openalex.org/W2112245214","https://openalex.org/W2131266495","https://openalex.org/W2131275552","https://openalex.org/W2132874238","https://openalex.org/W2142481893","https://openalex.org/W2163563828","https://openalex.org/W2167845698","https://openalex.org/W2341655714","https://openalex.org/W2343078876","https://openalex.org/W2417567569","https://openalex.org/W2517279098","https://openalex.org/W2560674852","https://openalex.org/W2771629016","https://openalex.org/W2780061171","https://openalex.org/W2784876765","https://openalex.org/W2794609696","https://openalex.org/W2810768857","https://openalex.org/W2906718832","https://openalex.org/W2914196042","https://openalex.org/W2962834855","https://openalex.org/W2963264339","https://openalex.org/W2964232059","https://openalex.org/W2970449623","https://openalex.org/W2981410213","https://openalex.org/W2985048382","https://openalex.org/W2987907651","https://openalex.org/W2988918532","https://openalex.org/W2990945337","https://openalex.org/W2996400411","https://openalex.org/W3004657049","https://openalex.org/W3116230937","https://openalex.org/W3122848664","https://openalex.org/W3123526065","https://openalex.org/W3129929448","https://openalex.org/W3169777496","https://openalex.org/W3175673396","https://openalex.org/W4205097024","https://openalex.org/W4205961663","https://openalex.org/W4206151407","https://openalex.org/W4234924236","https://openalex.org/W4247533651","https://openalex.org/W4249297534","https://openalex.org/W4281618949","https://openalex.org/W4296371626","https://openalex.org/W4312458574","https://openalex.org/W4319296027","https://openalex.org/W4366078346","https://openalex.org/W4387885358"],"related_works":["https://openalex.org/W4389849086","https://openalex.org/W4281957576","https://openalex.org/W2164621095","https://openalex.org/W1545461878","https://openalex.org/W2952133296","https://openalex.org/W3130449832","https://openalex.org/W1489292980","https://openalex.org/W3120050151","https://openalex.org/W2096962213","https://openalex.org/W4254682493"],"abstract_inverted_index":{"It":[0],"is":[1,11,24,53,161,170,187],"widely":[2],"known":[3,54],"that":[4,91,126,192,220,234],"the":[5,22,30,42,61,70,110,138,193,230],"precision":[6,71],"of":[7,44,72,112,115,124,140,152,155,176,181,195,207],"a":[8,56,73,105,128,146,150,168,174,179,199,204,236],"program":[9,16,23,45,50,62,74,89,141,169],"analyzer":[10],"closely":[12],"related":[13],"to":[14,40,87,145,173],"intensional":[15],"properties,":[17],"namely,":[18,36,65,99],"properties":[19],"concerning":[20],"how":[21],"written.":[25],"This":[26,213],"explains,":[27],"for":[28,101,120],"instance,":[29],"interest":[31,184],"in":[32,84,185],"code":[33],"obfuscation":[34],"techniques,":[35],"tools":[37],"explicitly":[38],"designed":[39],"degrade":[41],"results":[43],"analysis":[46,223],"by":[47,96],"operating":[48],"syntactic":[49],"transformations.":[51],"Less":[52],"about":[55],"possible":[57],"relation":[58],"between":[59],"what":[60],"extensionally":[63],"computes,":[64],"its":[66],"input-output":[67],"relation,":[68],"and":[69,149,178,211,233],"analyzer.":[75],"In":[76,109],"this":[77,81,118],"paper":[78],"we":[79,190],"explore":[80],"potential":[82],"connection":[83],"an":[85],"effort":[86],"isolate":[88],"fragments":[90],"can":[92],"be":[93],"precisely":[94],"analyzed":[95],"abstract":[97,107,201,218],"interpretation,":[98],"programs":[100,197],"which":[102],"there":[103],"exists":[104],"complete":[106,200],"interpretation.":[108],"field":[111],"static":[113],"inference":[114],"numeric":[116],"invariants,":[117],"happens":[119],"programs,":[121,125],"or":[122,132],"parts":[123],"manifest":[127],"monotone":[129,171,196],"(either":[130],"non-decreasing":[131],"non-increasing)":[133],"behavior.":[134],"We":[135],"first":[136],"formalize":[137],"notion":[139],"monotonicity":[142,186],"with":[143,164],"respect":[144],"given":[147],"input":[148],"set":[151,175,180],"numerical":[153,209],"variables":[154,177],"interest.":[156],"A":[157],"sound":[158],"proof":[159],"system":[160],"then":[162],"introduced":[163],"judgments":[165],"specifying":[166],"whether":[167],"relatively":[172],"inputs.":[182,212],"The":[183],"justified":[188],"because":[189],"prove":[191],"family":[194],"admits":[198],"interpretation":[202],"over":[203],"specific":[205],"class":[206,214],"non-trivial":[208],"abstractions":[210],"includes":[215],"all":[216],"non-relational":[217],"domains":[219],"refine":[221],"interval":[222],"(i.e.,":[224],"at":[225],"least":[226],"as":[227,229],"precise":[228],"intervals":[231],"abstraction)":[232],"satisfy":[235],"topological":[237],"convexity":[238],"hypothesis.":[239]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}