R2SGen: Can Constraint Solving Improve Real-to-Sim Driving Scenarios?
Can constraint solving turn a recorded traffic scene into useful simulation data without inheriting an LLM's geometric mistakes? This episode clarifies what R2SGen's guarantees mean, where its search improvements matter, and what remains unproven about sim-to-real transfer. We examine three questions: why merging equivalent search histories can matter more than choosing a different search order; whether lower program cost captures useful scenario abstraction; and how uncertainty in upstream perception changes the meaning of a verified output. The discussion focuses on static…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.