Enhancing Code Translation with Syntax and Semantic Optimization
Discover how syntax-guided and semantic-aware optimization improves code translation accuracy and reliability using the CTO framework.
Agentic AI & LLMs for UAV Logistics Scheduling with MEC
Optimize UAV-assisted logistics and mobile edge computing using an agentic AI framework with large language models and chain-of-thought reasoning.
Hierarchical Attacks on Multi-Modal Multi-Agent Systems
Discover the HAM$^{3}$ framework exposing vulnerabilities in multi-modal multi-agent systems through hierarchical adversarial attacks across perception, co...
Formal Conjectures: Benchmark for Verified Math Discovery
Explore Formal Conjectures, an evolving benchmark for verified mathematical discovery combining AI and human collaboration in Lean 4.
Strikingness-Aware Evaluation for Temporal Knowledge Graphs
Discover a novel strikingness-aware evaluation framework improving temporal knowledge graph reasoning by focusing on rare, significant events for accurate...