Two accepted demos for CEDAR at BDA 2022
Two demonstrations titles:
- “Abstra: Toward Generic Abstractions for Data of Any Model” by Nelly Barret, Ioana Manolescu and Prajna Upadhyay
- “Statistical Claim Checking: StatCheck in Action” by Oana Balalau, Simon Ebel, Théo Galizzi, Ioana Manolescu and Quentin Massonnat
have been accepted for presentation at BDA 2022.