Search papers, labs, and topics across Lattice.
4
0
4
A novel certificate-carrying method guarantees behavior preservation in Scratch programs, achieving a 94.3% acceptance rate with zero false positives in adversarial scenarios.
Over 21% of student projects in Scratch exhibit schedule-sensitive behaviors that can drastically alter program outcomes based on execution order.
A novel validation oracle ensures that program recovery from execution videos is both sound and trustworthy, rejecting all incorrect outputs even in adversarial conditions.
Language models struggle to predict changes in dynamic environments, achieving only 13.8% accuracy in a rigorous benchmark designed to test causal reasoning and state transitions.
