Theory

2025-05-14 Amortized Analysis as a Cost-Aware Abstraction Function
2025-05-02 Fair allocations and Nash social welfare
2025-05-02 Leveraging Symmetries in Strategic Games
2025-04-28 Classical generalization theory is more predictive in foundation models than in conventional deep networks
2024-12-11 Tight Lower Bound for Directed Cut Sparsification
2024-09-02 YOSO Randomness Generation with Worst-Case Corruptions
2024-08-23 miniCodeProps: a Benchmark for Proving Code Properties
2024-07-31 Efficient Anonymous Blocklisting
2024-06-27 Maximal Extractable Value in Ethereum
2024-05-08 Understanding Setup Times
2024-04-11 Better streaming algorithms for Maximum Directed Cut via 'snapshots'
2023-07-19 Code Conversion in Distributed Storage Systems
2022-12-06 Time-Traveling Simulation for Security