1 code implementation • 22 Jan 2023 • Tong Wu, Edoardo Manino, Fatimah Aljaafari, Pavlos Petoumenos, Lucas C. Cordeiro
We describe and evaluate LF-checker, a metaverifier tool based on machine learning.