cs.LG

NRGPT: An Energy-based Alternative for GPT

arXiv:2512.16762v3 Announce Type: replace
Abstract: Generative Pre-trained Transformer (GPT) architectures are the most popular design for language modeling. Energy-based modeling is a different paradigm that views inference as a dynamical process ope…

cs.AR, cs.LG

Autoformalizing Memory Specifications with Agents

arXiv:2605.00058v1 Announce Type: cross
Abstract: The primary goal of Design Verification (DV) is to ensure that a proposed chip design implementation (either in code, or physical form) exactly matches its specification and is free of functional error…

cs.LG

The Seismic Wavefield Common Task Framework

arXiv:2512.19927v2 Announce Type: replace
Abstract: Seismology faces fundamental challenges in state forecasting and reconstruction (e.g., earthquake early warning and ground motion prediction) and managing the parametric variability of source locatio…

Scroll to Top