Beyond Outcome Verification: Verifiable Process Reward Models for Structured Reasoning
- Massimiliano Pronesti
- Anya Belz
- et al.
- 2026
- ACL 2026
Paper
Publications
9301 results for Computer Science
GHL: An Extensible C++ Library for Flexible and Performant Graph Pattern Matching and Rewriting
- Tunaberk Almaci
- Corey Liam Lammie
- et al.
- 2026
- ICGT 2026
Conference paperEnterprise-Scale RAS in IBM Z Memory Subsystem
- Pat Meaney
- None None
- et al.
- 2026
- DSN 2026
Conference paperOne Error to Rule Them All: Can a Single Bit-Flip Disrupt Fully Homomorphic Encryption?
- Vattana Chan
- Matías Mazzanti
- et al.
- 2026
- DSN 2026
Conference paperConditional Monge Gap enables generalizable single-cell perturbation modelling
- Alice Driessen
- Dhruva Abhijit Rajwade
- et al.
- 2026
- Nature Machine Intelligence
PaperCombining Oblivious Pseudorandom Functions
- Sebastian Faller
- Marc Fischlin
- et al.
- 2026
- Eurocrypt 2026
Conference paperCross-domain telemetry architecture: dynamic observability in the computing continuum
- Jose Manuel Bernabe' Murcia
- Alejandro Molina Zarca
- et al.
- 2026
- Computing
PaperUnsupervised Cycle Detection in Agentic Applications
- Felix George
- Divya Pathak
- et al.
- 2026
- ICPE 2026
Short paperUniversal Position Interpolation: Unified Context Scaling for Hybrid Mamba-Transformer Models
- Haochen Shen
- Davis Wertheimer
- et al.
- 2026
- ICLR 2026
Conference paperTest-Time Tuned Language Models Enable End-to-end De Novo Molecular Structure Generation from MS/MS Spectra
- Laura Mismetti
- Marvin Alberts
- et al.
- 2026
- ICLR 2026
Workshop paper