Tree Decision Diagrams: A Canonical OBDD Generalization
Discover Tree Decision Diagrams (TDD), a canonical generalization of OBDD offering efficient Boolean function representation and improved CNF formula handl...
SignalClaw: AI-Driven Interpretable Traffic Signal Control
Discover SignalClaw, an AI framework using LLMs to evolve interpretable, adaptive traffic signal control skills for improved urban traffic management.
Experience Transfer for Multimodal LLM Agents in Minecraft
Discover how Echo framework boosts multimodal LLM agents' efficiency in Minecraft by enabling experience transfer and faster task completion.
Inventory of 12,007 Invariant Low-Dimensional Pseudo-Boolean Landscapes
Explore the comprehensive inventory of 12,007 low-dimensional pseudo-Boolean landscapes invariant to rank, translation, and rotation for optimization resea...
ActivityEditor: Synthesizing Realistic Human Mobility Data
Discover ActivityEditor, a dual-agent framework that generates physically valid human mobility trajectories for urban planning without historical data.