LE-NeuS: Latency-Efficient Neuro-Symbolic Video Understanding via Adaptive Temporal Verification
Fuente:
arXiv
Guardado en:
| Autores principales: | Liang, Shawn, Shah, Sahil, Zhou, Chengwei, Sharan, SP, Goel, Harsh, Sanyal, Arnab, Chinchali, Sandeep, Datta, Gourav |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning
por: Shah, Sahil, et al.
Publicado: (2025)
por: Shah, Sahil, et al.
Publicado: (2025)
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
por: Sharan, S P, et al.
Publicado: (2024)
por: Sharan, S P, et al.
Publicado: (2024)
We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback
por: Choi, Minkyu, et al.
Publicado: (2025)
por: Choi, Minkyu, et al.
Publicado: (2025)
Towards Neuro-Symbolic Video Understanding
por: Choi, Minkyu, et al.
Publicado: (2024)
por: Choi, Minkyu, et al.
Publicado: (2024)
A Challenge to Build Neuro-Symbolic Video Agents
por: Shah, Sahil, et al.
Publicado: (2025)
por: Shah, Sahil, et al.
Publicado: (2025)
ObjectAlign: Neuro-Symbolic Object Consistency Verification and Correction
por: Munir, Mustafa, et al.
Publicado: (2025)
por: Munir, Mustafa, et al.
Publicado: (2025)
EntroLLM: Entropy Encoded Weight Compression for Efficient Large Language Model Inference on Edge Devices
por: Sanyal, Arnab, et al.
Publicado: (2025)
por: Sanyal, Arnab, et al.
Publicado: (2025)
OASIS: Optimized Lightweight Autoencoder System for Distributed In-Sensor computing
por: Zhou, Chengwei, et al.
Publicado: (2025)
por: Zhou, Chengwei, et al.
Publicado: (2025)
Learning Scalable Temporal Representations in Spiking Neural Networks Without Labels
por: Zhou, Chengwei, et al.
Publicado: (2025)
por: Zhou, Chengwei, et al.
Publicado: (2025)
SynDiff-AD: Improving Semantic Segmentation and End-to-End Autonomous Driving with Synthetic Data from Latent Diffusion Models
por: Goel, Harsh, et al.
Publicado: (2024)
por: Goel, Harsh, et al.
Publicado: (2024)
Factored-NeuS: Reconstructing Surfaces, Illumination, and Materials of Possibly Glossy Objects
por: Fan, Yue, et al.
Publicado: (2023)
por: Fan, Yue, et al.
Publicado: (2023)
From Transparent to Opaque: Rethinking Neural Implicit Surfaces with $α$-NeuS
por: Zhang, Haoran, et al.
Publicado: (2024)
por: Zhang, Haoran, et al.
Publicado: (2024)
NeuS-PIR: Learning Relightable Neural Surface using Pre-Integrated Rendering
por: Mao, Shi, et al.
Publicado: (2023)
por: Mao, Shi, et al.
Publicado: (2023)
RNb-NeuS: Reflectance and Normal-based Multi-View 3D Reconstruction
por: Brument, Baptiste, et al.
Publicado: (2023)
por: Brument, Baptiste, et al.
Publicado: (2023)
PG-NeuS: Robust and Efficient Point Guidance for Multi-View Neural Surface Reconstruction
por: Zhang, Chen, et al.
Publicado: (2023)
por: Zhang, Chen, et al.
Publicado: (2023)
BladderFormer: A Streaming Transformer for Real-Time Urological State Monitoring
por: Zhou, Chengwei, et al.
Publicado: (2025)
por: Zhou, Chengwei, et al.
Publicado: (2025)
Rethinking Vision Transformer Depth via Structural Reparameterization
por: Zhou, Chengwei, et al.
Publicado: (2025)
por: Zhou, Chengwei, et al.
Publicado: (2025)
CoordLight: Learning Decentralized Coordination for Network-Wide Traffic Signal Control
por: Zhang, Yifeng, et al.
Publicado: (2026)
por: Zhang, Yifeng, et al.
Publicado: (2026)
R3DM: Enabling Role Discovery and Diversity Through Dynamics Models in Multi-agent Reinforcement Learning
por: Goel, Harsh, et al.
Publicado: (2025)
por: Goel, Harsh, et al.
Publicado: (2025)
Safe Networked Robotics with Probabilistic Verification
por: Narasimhan, Sai Shankar, et al.
Publicado: (2023)
por: Narasimhan, Sai Shankar, et al.
Publicado: (2023)
J-NeuS: Joint field optimization for Neural Surface reconstruction in urban scenes with limited image overlap
por: Wang, Fusang, et al.
Publicado: (2025)
por: Wang, Fusang, et al.
Publicado: (2025)
NEURO-GUARD: Neuro-Symbolic Generalization and Unbiased Adaptive Routing for Diagnostics -- Explainable Medical AI
por: Urooj, Midhat, et al.
Publicado: (2025)
por: Urooj, Midhat, et al.
Publicado: (2025)
Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
por: Singh, Vikash, et al.
Publicado: (2026)
por: Singh, Vikash, et al.
Publicado: (2026)
Neuro-Symbolic Verification on Instruction Following of LLMs
por: Su, Yiming, et al.
Publicado: (2026)
por: Su, Yiming, et al.
Publicado: (2026)
Neuro-Symbolic Temporal Point Processes
por: Yang, Yang, et al.
Publicado: (2024)
por: Yang, Yang, et al.
Publicado: (2024)
Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
por: Flinkow, Thomas, et al.
Publicado: (2026)
por: Flinkow, Thomas, et al.
Publicado: (2026)
NeuSymMS: A Hybrid Neuro-Symbolic Memory System for Persistent, Self-Curating LLM Agents
por: Sultan, Mujahid, et al.
Publicado: (2026)
por: Sultan, Mujahid, et al.
Publicado: (2026)
ViSIL: Unified Evaluation of Information Loss in Multimodal Video Captioning
por: Li, Po-han, et al.
Publicado: (2026)
por: Li, Po-han, et al.
Publicado: (2026)
VIBE: Annotation-Free Video-to-Text Information Bottleneck Evaluation for TL;DR
por: Chen, Shenghui, et al.
Publicado: (2025)
por: Chen, Shenghui, et al.
Publicado: (2025)
Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
por: He, Baoding, et al.
Publicado: (2026)
por: He, Baoding, et al.
Publicado: (2026)
A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification
por: Manginas, Vasileios, et al.
Publicado: (2025)
por: Manginas, Vasileios, et al.
Publicado: (2025)
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
por: Daggitt, Matthew L., et al.
Publicado: (2024)
por: Daggitt, Matthew L., et al.
Publicado: (2024)
Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
por: Jia, Lin-Han, et al.
Publicado: (2025)
por: Jia, Lin-Han, et al.
Publicado: (2025)
NeuRN: Neuro-inspired Domain Generalization for Image Classification
por: Jalil, Hamd, et al.
Publicado: (2025)
por: Jalil, Hamd, et al.
Publicado: (2025)
PhonemeFake: Redefining Deepfake Realism with Language-Driven Segmental Manipulation and Adaptive Bilevel Detection
por: Baser, Oguzhan, et al.
Publicado: (2025)
por: Baser, Oguzhan, et al.
Publicado: (2025)
A Pathway to Near Tissue Computing through Processing-in-CTIA Pixels for Biomedical Applications
por: Yin, Zihan, et al.
Publicado: (2025)
por: Yin, Zihan, et al.
Publicado: (2025)
NeuroAI Temporal Neural Networks (NeuTNNs): Microarchitecture and Design Framework for Specialized Neuromorphic Processing Units
por: Venkatachalam, Shanmuga, et al.
Publicado: (2026)
por: Venkatachalam, Shanmuga, et al.
Publicado: (2026)
SecureSpectra: Safeguarding Digital Identity from Deep Fake Threats via Intelligent Signatures
por: Baser, Oguzhan, et al.
Publicado: (2024)
por: Baser, Oguzhan, et al.
Publicado: (2024)
LazyVLM: Neuro-Symbolic Approach to Video Analytics
por: Jian, Xiangru, et al.
Publicado: (2025)
por: Jian, Xiangru, et al.
Publicado: (2025)
State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems
por: Waite, Thomas, et al.
Publicado: (2025)
por: Waite, Thomas, et al.
Publicado: (2025)
Ejemplares similares
-
NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning
por: Shah, Sahil, et al.
Publicado: (2025) -
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
por: Sharan, S P, et al.
Publicado: (2024) -
We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback
por: Choi, Minkyu, et al.
Publicado: (2025) -
Towards Neuro-Symbolic Video Understanding
por: Choi, Minkyu, et al.
Publicado: (2024) -
A Challenge to Build Neuro-Symbolic Video Agents
por: Shah, Sahil, et al.
Publicado: (2025)