2 papers
cs.CV2026
Sparse Video Generation Propels Real-World Beyond-the-View Vision-Language Navigation
Hai Zhang, Siqi Liang, Li Chen +5
Why must vision-language navigation be bound to detailed and verbose language instructions? While such details ease decision-making, they fundamentally contradict the goal for navi…
cs.SE2025
Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
Haoxin Tu, Seongmin Lee, Yuxian Li +3
How can we perform concolic execution to generate highly structured test inputs for systematically testing parsing programs? Existing concolic execution engines are significantly r…