All Articles

Articles

Academic · 1 min

The FABRIC Strategy for Verifying Neural Feedback Systems

arXiv:2603.08964v1 Announce Type: new Abstract: Forward reachability analysis is a dominant approach for verifying reach-avoid specifications in neural feedback systems, i.e., dynamical systems controlled by …

I. Samuel Akinwande, Sydney M. Katz, Mykel J. Kochenderfer, Clark Barrett
18 views
Academic · 1 min

ConFu: Contemplate the Future for Better Speculative Sampling

arXiv:2603.08899v1 Announce Type: new Abstract: Speculative decoding has emerged as a powerful approach to accelerate large language model (LLM) inference by employing lightweight draft models …

Zongyue Qin, Raghavv Goel, Mukul Gagrani, Risheek Garrepalli, Mingu Lee, Yizhou Sun
6 views
Academic · 1 min

Telogenesis: Goal Is All U Need

arXiv:2603.09476v1 Announce Type: new Abstract: Goal-conditioned systems assume goals are provided externally. We ask whether attentional priorities can emerge endogenously from an agent's internal cognitive …

Zhuoran Deng, Yizhi Zhang, Ziyi Zhang, Wan Shen
5 views