Search papers, labs, and topics across Lattice.
2
0
2
67
Adversarially fine-tuning a CNN for time-series classification in a high-stakes physics application (CERN collimator alignment) boosts robustness by nearly 20% without hurting clean accuracy.
Storm's decade-long development now offers a powerful, Python-integrated environment for probabilistic model checking, making it easier than ever to analyze Markov decision processes and models with uncertainty.
