2 papers
cs.CL2024
Integrating curation into scientific publishing to train AI models
Jorge Abreu-Vicente, Hannah Sonntag, Thomas Eidens +2
High throughput extraction and structured labeling of data from academic articles is critical to enable downstream machine learning applications and secondary analyses. We have emb…
cs.SE2024
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
Daniel Baier, Dirk Beyer, Po-Chun Chien +8
This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides ma…