1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LG2025
Scaling Speculative Decoding with Lookahead Reasoning
Yichao Fu, Rui Ge, Zelei Shao +2
Reasoning models excel by generating long chain-of-thoughts, but decoding the resulting thousands of tokens is slow. Token-level speculative decoding (SD) helps, but its benefit is…
cs.LO2024★ 1 cited
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version)
Rui Ge, Ronald Garcia, Alexander J. Summers
SMT-based program analysis and verification often involve reasoning about program features that have been specified using quantifiers; incorporating quantifiers into SMT-based reas…