{"id":"https://openalex.org/W4400933644","doi":"https://doi.org/10.1007/978-3-031-65630-9_6","title":"Verifying Cake-Cutting, Faster","display_name":"Verifying Cake-Cutting, Faster","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4400933644","doi":"https://doi.org/10.1007/978-3-031-65630-9_6"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-65630-9_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65630-9_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65630-9_6.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-031-65630-9_6.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055564352","display_name":"Noah Bertram","orcid":"https://orcid.org/0000-0001-9842-7624"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Noah Bertram","raw_affiliation_strings":["Cornell University, Ithaca, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5098821311","display_name":"Tean Lai","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tean Lai","raw_affiliation_strings":["Cornell University, Ithaca, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033286190","display_name":"Justin Hsu","orcid":"https://orcid.org/0000-0002-8953-7060"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Justin Hsu","raw_affiliation_strings":["Cornell University, Ithaca, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5055564352"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"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":0,"citation_normalized_percentile":{"value":0.24627757,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"109","last_page":"129"},"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.9972000122070312,"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.9972000122070312,"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/T10260","display_name":"Software Engineering Research","score":0.9672999978065491,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.930899977684021,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computer-science","display_name":"Computer science","score":0.8315245509147644},{"id":"https://openalex.org/keywords/engineering-drawing","display_name":"Engineering drawing","score":0.42431485652923584},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.04301765561103821}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8315245509147644},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.42431485652923584},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.04301765561103821}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-65630-9_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65630-9_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65630-9_6.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-031-65630-9_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65630-9_6","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65630-9_6.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":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.44999998807907104}],"awards":[{"id":"https://openalex.org/G1920801999","display_name":"FMitF: Track I: Formal Verification for Mechanism Design","funder_award_id":"2319186","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400933644.pdf","grobid_xml":"https://content.openalex.org/works/W4400933644.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W1182014237","https://openalex.org/W1480909796","https://openalex.org/W1840672264","https://openalex.org/W1854782908","https://openalex.org/W2012968289","https://openalex.org/W2142401116","https://openalex.org/W2296287489","https://openalex.org/W2911865844","https://openalex.org/W2912116179","https://openalex.org/W3145063512","https://openalex.org/W4234461277","https://openalex.org/W4247772422","https://openalex.org/W4300664602","https://openalex.org/W4364387348","https://openalex.org/W4391489906"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Abstract":[0],"Envy-free":[1],"cake-cutting":[2,49,79],"protocols":[3,26],"procedurally":[4],"divide":[5],"an":[6],"infinitely":[7],"divisible":[8],"good":[9],"among":[10],"a":[11,41,129,152],"set":[12],"of":[13,113,143,154],"agents":[14,138],"so":[15],"that":[16,118,135],"no":[17,136],"agent":[18],"prefers":[19],"another\u2019s":[20],"allocation":[21],"to":[22,32,56,76,108],"their":[23],"own.":[24],"These":[25],"are":[27,61],"highly":[28],"complex":[29,78],"and":[30,38,47,127,150],"difficult":[31],"prove":[33],"correct.":[34],"Recently,":[35],"Bertram,":[36],"Levinson,":[37],"Hsu":[39],"introduced":[40],"language":[42],"called":[43],"Slice":[44,51,66,83,94],"for":[45],"describing":[46],"verifying":[48,119],"protocols.":[50,80],"programs":[52],"can":[53,95],"be":[54,96],"translated":[55],"formulas":[57,107,109],"encoding":[58],"envy-freeness,":[59],"which":[60,133],"solved":[62],"by":[63],"SMT.":[64],"While":[65],"works":[67],"well":[68],"on":[69],"smaller":[70],"protocols,":[71],"it":[72],"has":[73],"difficulty":[74],"scaling":[75],"more":[77],"We":[81,102,146],"improve":[82],"in":[84,93],"two":[85,137],"ways.":[86],"First,":[87],"we":[88,125],"show":[89],"any":[90],"protocol":[91],"execution":[92],"replicated":[97],"using":[98],"piecewise":[99],"uniform":[100],"valuations.":[101],"then":[103],"reduce":[104],"Slice\u2019s":[105],"constraint":[106],"within":[110],"the":[111,140,144,158],"theory":[112],"linear":[114,130],"real":[115],"arithmetic,":[116],"showing":[117],"envy-freeness":[120],"is":[121],"efficiently":[122],"decidable.":[123],"Second,":[124],"design":[126],"implement":[128,147],"type":[131],"system":[132],"enforces":[134],"receive":[139],"same":[141],"part":[142],"good.":[145],"our":[148],"methods":[149],"verify":[151],"range":[153],"challenging":[155],"examples,":[156],"including":[157],"first":[159],"nontrivial":[160],"four-agent":[161],"protocol.":[162]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}