most citedTowards Accurate and Efficient Waste Image Classification: A Hybrid Deep Learning and Machine Learning Approach

6 citations · 6 across the 2 of their papers we have counts for

collaborators

2 papers

cs.CV2025★ 6 cited

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…