Pith. sign in

Pith Integrity · Reference Change Desk · events-only

Reference changes

See every place this corpus cites a work that was later retracted, corrected, withdrawn, or placed under expression of concern: exact quote, event source, and what happened next. No model judges the citation.

A notice on this page means a citing paper's bibliography includes a work with a published scholarly-record event. It is not a judgment on the citing paper.

Scoped to citing paper 2411.14870 · clear

01Events with corpus notices

02One-hop citation notices (secondary index)

Correction Crossref Open
Application of AI to formal methods - an analysis of current trends

cites International Journal on Software Tools for Technology Transfer 25, 219–239 (2023) https://doi.org/10.1007/s10009-023-00696-0 · ref [131] · event 2023-08-14 · 2411.14870 · event page · DOI 10.1007/s10009-023-00696-0

Raw extraction · bibliography line

Scott, J., Niemetz, A., Preiner, M., Nejati, S., Ganesh, V.: Algorithm selection for SMT. International Journal on Software Tools for Technology Transfer 25, 219–239 (2023) https://doi.org/10.1007/s10009-023-00696-0