Martin Rýpar

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Formal Verification

Benchmark Datasets

Synthetic And Real Datasets

Top Venues

Lang. Resour. Evaluation

Publications

Herbert Ullrich, Jan Drchal, Martin Rýpar, Hana Vincourová, Václav Moravec
CsFEVER and CTKFacts: acquiring Czech data for fact verification. Lang. Resour. Evaluation 57 (4) (2023)
Jan Drchal, Herbert Ullrich, Martin Rýpar, Hana Vincourová, Václav Moravec
CsFEVER and CTKFacts: Czech Datasets for Fact Verification. CoRR (2022)