The 4/$delta$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
arXiv:2512.02080v1 Announce Type: new Abstract: The idea of using Formal Verification tools with large language models (LLMs) has enabled scaling…
Forecasting in Offline Reinforcement Learning for Non-stationary Environments
arXiv:2512.01987v2 Announce Type: replace-cross Abstract: Offline Reinforcement Learning (RL) provides a promising avenue for training policies from pre-collected datasets when…
Benchmarking Scientific Understanding and Reasoning for Video Generation using VideoScience-Bench
arXiv:2512.02942v1 Announce Type: cross Abstract: The next frontier for video generation lies in developing models capable of zero-shot reasoning, where…
EGGS: Exchangeable 2D/3D Gaussian Splatting for Geometry-Appearance Balanced Novel View Synthesis
arXiv:2512.02932v1 Announce Type: cross Abstract: Novel view synthesis (NVS) is crucial in computer vision and graphics, with wide applications in…
MasHeNe: A Benchmark for Head and Neck CT Mass Segmentation using Window-Enhanced Mamba with Frequency-Domain Integration
arXiv:2512.01563v2 Announce Type: replace-cross Abstract: Head and neck masses are space-occupying lesions that can compress the airway and esophagus and…