3 papers
cs.CV2026
EA-Swin: An Embedding-Agnostic Swin Transformer for AI-Generated Video Detection
Hung Mai, Loi Dinh, Duc Hai Nguyen +6
Recent advances in foundation video generators such as Sora2, Veo3, and other commercial systems have produced highly realistic synthetic videos, exposing the limitations of existi…
cs.CV2025
Towards Accurate and Efficient Waste Image Classification: A Hybrid Deep Learning and Machine Learning Approach
Ngoc-Bao-Quang Nguyen, Tuan-Minh Do, Cong-Tam Phan +1
Automated image-based garbage classification is a critical component of global waste management; however, systematic benchmarks that integrate Machine Learning (ML), Deep Learning…
cs.AI2025
ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
Rafael Cabral, Tuan Manh Do, Xuejun Yu +3
Proof autoformalization, the task of translating natural language theorems and proofs into machine-verifiable code, is a critical step for integrating large language models into ri…