3 Publikationen
-
2024 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2988952Comparing generative and extractive approaches to information extraction from abstracts describing randomized clinical trialsPUB | DOI | WoS | PubMed | Europe PMC
Witte, Christian, Comparing generative and extractive approaches to information extraction from abstracts describing randomized clinical trials. Journal of Biomedical Semantics 15 (1). , 2024 -
2021 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2989313The RERS challenge: towards controllable and scalable benchmark synthesisPUB | PDF | DOI
Howar, Falk, The RERS challenge: towards controllable and scalable benchmark synthesis. International Journal on Software Tools for Technology Transfer 23 (6). , 2021 -
2021 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2989314Every Component Matters: Generating Parallel Verification Benchmarks with Hardness GuaranteesPUB | DOI
Jasper, Marc, Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends. 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV (). Cham, 2021