Login / Signup
Tean Lai
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Trade Off
Evolutionary Algorithm
Memory Efficient
Cutting Tool
Top Venues
CoRR
CAV (2)
</>
Publications
</>
Noah Bertram
,
Tean Lai
,
Justin Hsu
Verifying Cake-Cutting, Faster.
CoRR
(2024)
Noah Bertram
,
Tean Lai
,
Justin Hsu
Verifying Cake-Cutting, Faster.
CAV (2)
(2024)