NeurIPS 2025 Explorer
Concepts
Authors
Glossary
johnsanterre.github.io
accuracy retention
3 papers
Compositional Neural Network Verification via Assume-Guarantee Reasoning
Efficient Low Rank Attention for Long-Context Inference in Large Language Models
StreamForest: Efficient Online Video Understanding with Persistent Event Memory