1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.SE2024★ 1 cited
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…
cs.CL2023
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…