conftrace_
← Authors

Mohammad Omama

4 papers · 2024–2025 · 4 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓
🌍 Conference Polyglot (4) 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (13)

Conferences

CVPR (1) ECCV (1) ICLR (1) ICML (1)

Top co-authors

Harsh Goel (3) Sahil Shah (2) Minkyu Choi (2) Sandeep Chinchali (2) Sandeep P. Chinchali (2) S P Sharan (1) Yunhao Yang (1) Vaishnav Tadiparthi (1) Ehsan Moradi Pari (1) Behdad Chalaki (1)

Keywords

formal verification (1) temporal logic (1) text-to-video generation (1) video evaluation (1) neuro-symbolic method (1)

Papers

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification CVPR 2025 Exploiting Distribution Constraints for Scalable and Efficient Image Retrieval ICLR 2025 R3DM: Enabling Role Discovery and Diversity Through Dynamics Models in Multi-agent Reinforcement Learning ICML 2025 Towards Neuro-Symbolic Video Understanding ECCV 2024