LogicDirector: Enforcing Temporal Composition in Text-to-Video Generation
Yujiang Pu, Zixu Cheng, Shaogang Gong,
Handong Zhao, Yu Kong
NeurIPS 2026
TL;DR: We introduce LogicDirector, a test-time guidance framework that enforces temporal composition in text-to-video generation via first-order logic constraints. By applying a lightweight, gradient-free latent search during the early denoising steps, our method mitigates temporal concept bleeding and event omission while preserving visual fidelity.
1. Qualitative Comparisons on TempBench
CogVideoX-2B
Baseline
LogicDirector
"A person puts a cookie on a plate before pouring milk into a glass."
Baseline
LogicDirector
"A car passes through the crossroads before the traffic light turns green."
Baseline
LogicDirector
"A gardener sprays water after a dog steps away."
Baseline
LogicDirector
"A woman adjusts her hat after smiling."
Baseline
LogicDirector
"The sun sets until it is below the horizon."
Baseline
LogicDirector
"The water rises in a glass until it reaches the rim."
Baseline
LogicDirector
"A referee waves a flag, then a race car begins to accelerate."
Baseline
LogicDirector
"A magician taps a top hat, then a white dove flies out."
Wan 2.1-1.3B
Baseline
LogicDirector
"A raccoon crawls out of a hole before a rabbit jumps up."
Baseline
LogicDirector
"A dog wags its tail before fetching a stick."
Baseline
LogicDirector
"A runner starts jogging after the coach raises a flag."
Baseline
LogicDirector
"A person drinks coffee after typing on a keyboard."
Baseline
LogicDirector
"A person holds the button until the elevator doors open."
Baseline
LogicDirector
"An apple falls until it hits the ground."
Baseline
LogicDirector
"A bird lands on its nest, then a chick opens its beak."
Baseline
LogicDirector
"A bird hops onto a rock, then picks up a worm."
2. Qualitative Analysis of Best-of-n Latent Search
"A frog jumps onto a lily pad before a bird flies away."
Baseline
n=1, K=1, T=10
n=1, K=3, T=10 (Ours)
n=3, K=3, T=10
n=1, K=5, T=10
n=3, K=1, T=10
n=1, K=3, T=20
3. Qualitative Comparisons on T2V-CompBench
Action Binding
Baseline
LogicDirector
"An elephant sprays water with its trunk, a lion sitting nearby."
Baseline
LogicDirector
"A frog plays drums on lily pads, a snail sways along with the beats."
Baseline
LogicDirector
"A cat sits on a windowsill and a dog plays in the yard."
Baseline
LogicDirector
"A man jogs and a car drives on the road"
Baseline
LogicDirector
"A duck swims in a pond and a model ship floats nearby."
Baseline
LogicDirector
"A penguin slides on the ice while a seal lounges nearby."
Baseline
LogicDirector
"A kangaroo hops across the plain while an emu strides beside it."
Baseline
LogicDirector
"A rabbit ice skates on a frozen lake while a chipmunk builds a snowman."
Object Interaction
Baseline
LogicDirector
"A horse jumps over a fence"
Baseline
LogicDirector
"A knife slices through a ripe tomato"
Baseline
LogicDirector
"Mage conjures fireball in palm, controlling the flames"
Baseline
LogicDirector
"Girl reads bedtime story to her stuffed bear"
Baseline
LogicDirector
"Girl and grandmother bake cookies, laughter filling the kitchen"
Baseline
LogicDirector
"Two musicians practice a duet on the piano, working to synchronize their notes and harmonies."
Baseline
LogicDirector
"A deer running into a field of flowers, disturbing petals that float gently to the earth."
Baseline
LogicDirector
"A jellyfish floating into a coral reef, causing the smaller fish nearby to scatter."
4. More Challenging Cases on StoryEval
Baseline
LogicDirector
"A bear opens a honey jar, licks the honey, and then closes the jar."
Baseline
LogicDirector
"A spider walks to the right while spinning a web, and then moves to the left after reaching the edge of the web."