conftrace_

verification algorithm

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

distributed network (1) acceptance rate (1) draft sampling (1) multiwinner election (1) large language model (1) temporal voting (1) proportional representation (1) failure verification (1) property checking (1) multilayer graph (1)

Papers

Towards Optimal Multi-draft Speculative Decoding ICLR 2025 Verifying Proportionality in Temporal Voting AAAI 2025 Tiramisu: Fast Multilayer Network Verification NSDI 2020