Title
Online Difficulty Filtering for Reasoning Oriented Reinforcement Learning Sanghwan Bae Jiwoo Hong Min Young Lee Hanbyul Kim Jeongyeon Nam Donghyun Kwak OffRL LRM 40 2 0 04 Apr 2025
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 16 0 0 26 Oct 2024
Allo: A Programming Model for Composable Accelerator Design Hongzheng Chen Niansong Zhang Shaojie Xiang Zhichen Zeng Mengjia Dai Zhiru Zhang 35 14 0 07 Apr 2024
End-to-end codesign of Hessian-aware quantized neural networks for FPGAs and ASICs Javier Campos Zhen Dong Javier Mauricio Duarte A. Gholami Michael W. Mahoney Jovan Mitrevski Nhan Tran MQ 8 3 0 13 Apr 2023
A Detailed Study of Interpretability of Deep Neural Network based Top Taggers Ayush Khot Mark S. Neubauer Avik Roy AAML 15 16 0 09 Oct 2022
Graph Neural Networks for Charged Particle Tracking on FPGAs Abdelrahman Elabd Vesal Razavimaleki Shih-Yu Huang Javier Mauricio Duarte M. Atkinson ... Bo-Cheng Lai Mark S. Neubauer I. Ojalvo S. Thais Matthew Trahms GNN 20 35 0 03 Dec 2021