{"id":"https://openalex.org/W2796887694","doi":"https://doi.org/10.1007/978-3-319-89884-1_20","title":"Verified Learning Without Regret","display_name":"Verified Learning Without Regret","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2796887694","doi":"https://doi.org/10.1007/978-3-319-89884-1_20","mag":"2796887694"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-89884-1_20","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_20","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-319-89884-1_20.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-319-89884-1_20.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053054985","display_name":"Samuel Merten","orcid":"https://orcid.org/0000-0001-8763-0053"},"institutions":[{"id":"https://openalex.org/I4210106879","display_name":"Ohio University","ror":"https://ror.org/01jr3y717","country_code":"US","type":"education","lineage":["https://openalex.org/I4210106879"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Samuel Merten","raw_affiliation_strings":["Ohio University, Athens, OH, USA"],"raw_orcid":"https://orcid.org/0000-0001-8763-0053","affiliations":[{"raw_affiliation_string":"Ohio University, Athens, OH, USA","institution_ids":["https://openalex.org/I4210106879"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043553230","display_name":"Alexander Bagnall","orcid":"https://orcid.org/0000-0001-6593-0661"},"institutions":[{"id":"https://openalex.org/I4210106879","display_name":"Ohio University","ror":"https://ror.org/01jr3y717","country_code":"US","type":"education","lineage":["https://openalex.org/I4210106879"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexander Bagnall","raw_affiliation_strings":["Ohio University, Athens, OH, USA"],"raw_orcid":"https://orcid.org/0000-0001-6593-0661","affiliations":[{"raw_affiliation_string":"Ohio University, Athens, OH, USA","institution_ids":["https://openalex.org/I4210106879"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005561151","display_name":"Gordon Stewart","orcid":null},"institutions":[{"id":"https://openalex.org/I4210106879","display_name":"Ohio University","ror":"https://ror.org/01jr3y717","country_code":"US","type":"education","lineage":["https://openalex.org/I4210106879"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gordon Stewart","raw_affiliation_strings":["Ohio University, Athens, OH, USA"],"raw_orcid":"https://orcid.org/0000-0003-0244-2980","affiliations":[{"raw_affiliation_string":"Ohio University, Athens, OH, USA","institution_ids":["https://openalex.org/I4210106879"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5053054985"],"corresponding_institution_ids":["https://openalex.org/I4210106879"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.04312788,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"561","last_page":"588"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9891999959945679,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9891999959945679,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9822999835014343,"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.9769999980926514,"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/regret","display_name":"Regret","score":0.915391206741333},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8401579856872559},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4524591565132141},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.2213725745677948}],"concepts":[{"id":"https://openalex.org/C50817715","wikidata":"https://www.wikidata.org/wiki/Q79895177","display_name":"Regret","level":2,"score":0.915391206741333},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8401579856872559},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4524591565132141},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2213725745677948}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-89884-1_20","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_20","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-319-89884-1_20.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-319-89884-1_20","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_20","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-319-89884-1_20.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4739999943","display_name":"CRII: SHF: Distributed Systems With Verified Complexity By Design","funder_award_id":"1657358","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2796887694.pdf","grobid_xml":"https://content.openalex.org/works/W2796887694.grobid-xml"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W153200464","https://openalex.org/W1504504841","https://openalex.org/W1508641834","https://openalex.org/W1510927726","https://openalex.org/W1513468570","https://openalex.org/W1557517019","https://openalex.org/W1591717411","https://openalex.org/W1988790447","https://openalex.org/W2017227260","https://openalex.org/W2021677593","https://openalex.org/W2054716087","https://openalex.org/W2061091230","https://openalex.org/W2067050450","https://openalex.org/W2073242866","https://openalex.org/W2091776255","https://openalex.org/W2097160297","https://openalex.org/W2118977012","https://openalex.org/W2121143261","https://openalex.org/W2121863487","https://openalex.org/W2126776273","https://openalex.org/W2130427425","https://openalex.org/W2133243407","https://openalex.org/W2143381018","https://openalex.org/W2144846366","https://openalex.org/W2150865801","https://openalex.org/W2155094695","https://openalex.org/W2159759087","https://openalex.org/W2162201044","https://openalex.org/W2164688709","https://openalex.org/W2167814583","https://openalex.org/W2199385070","https://openalex.org/W2216069195","https://openalex.org/W2255516524","https://openalex.org/W2278013047","https://openalex.org/W2287505824","https://openalex.org/W2288327952","https://openalex.org/W2330024298","https://openalex.org/W2508573783","https://openalex.org/W2516137114","https://openalex.org/W2691152923","https://openalex.org/W2737396049","https://openalex.org/W2776248742","https://openalex.org/W2913264117","https://openalex.org/W2964119825","https://openalex.org/W3022321359","https://openalex.org/W3125634603","https://openalex.org/W4214717370","https://openalex.org/W4229812034","https://openalex.org/W4234761190","https://openalex.org/W4241316177","https://openalex.org/W4242955624","https://openalex.org/W4248437541","https://openalex.org/W4255546732","https://openalex.org/W6603932791","https://openalex.org/W6677986314"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2971351794","https://openalex.org/W4376155396","https://openalex.org/W1947085858","https://openalex.org/W2101991911","https://openalex.org/W2174986909","https://openalex.org/W2527791220","https://openalex.org/W2155070487","https://openalex.org/W4311589891","https://openalex.org/W3123835761"],"abstract_inverted_index":{"Multiplicative":[0,143],"Weights":[1,144],"(MW)":[2],"is":[3,151],"a":[4,50,156,163,173,196],"simple":[5],"yet":[6],"powerful":[7],"algorithm":[8],"for":[9,13,19,26,35,82,199],"learning":[10,15],"linear":[11,22],"classifiers,":[12],"ensemble":[14],"\u00e0":[16],"la":[17],"boosting,":[18],"approximately":[20],"solving":[21],"and":[23,34,56,80,115,120,154],"semidefinite":[24],"systems,":[25],"computing":[27],"approximate":[28,75,85,180],"solutions":[29],"to":[30,53,92,106,187,211,213],"multicommodity":[31],"flow":[32],"problems,":[33],"online":[36],"convex":[37],"optimization,":[38],"among":[39],"other":[40],"applications.":[41],"Recent":[42],"work":[43],"in":[44,125,159],"algorithmic":[45],"game":[46],"theory,":[47],"which":[48,131],"applies":[49],"computational":[51],"perspective":[52],"the":[54,93,137,160,166,209],"design":[55],"analysis":[57],"of":[58,96,142,162,165,168,176],"systems":[59,111,202],"with":[60,90,118,185,191,203],"mutually":[61],"competitive":[62],"actors,":[63],"has":[64],"shown":[65],"that":[66,81,148],"no-regret":[67],"algorithms":[68],"like":[69],"MW":[70,150],"naturally":[71],"drive":[72],"games":[73,169,178],"toward":[74],"Coarse":[76],"Correlated":[77],"Equilibria":[78],"(CCEs),":[79],"certain":[83],"games,":[84],"CCEs":[86,181],"have":[87,182],"bounded":[88,184],"cost":[89,183],"respect":[91,186],"optimal":[94],"states":[95],"such":[97,104,112],"systems.":[98],"In":[99],"this":[100],"paper,":[101],"we":[102,146],"put":[103],"results":[105,133],"practice":[107],"by":[108],"building":[109,200],"distributed":[110,201],"as":[113],"routers":[114],"load":[116],"balancers":[117],"performance":[119],"convergence":[121,212],"guarantees":[122,207],"mechanically":[123,139,204],"verified":[124,140,205],"Coq.":[126],"The":[127],"main":[128],"contributions":[129],"on":[130,208],"our":[132,149],"rest":[134],"are":[135],"(1)":[136,190],"first":[138],"implementation":[141],"(specifically,":[145],"show":[147],"no":[152],"regret)":[153],"(2)":[155,192],"language-based":[157],"formulation,":[158],"form":[161],"DSL,":[164],"class":[167],"satisfying":[170],"Roughgarden":[171],"smoothness,":[172],"broad":[174],"characterization":[175],"those":[177],"whose":[179],"optimal.":[188],"Composing":[189],"within":[193],"Coq":[194],"yields":[195],"new":[197],"strategy":[198],"complexity":[206],"time":[210],"near-optimal":[214],"system":[215],"configurations.":[216]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-09T07:00:12.390032","created_date":"2025-10-10T00:00:00"}