Crossmark

Prediction-Powered Model Checking via Predictiveness Comparisons

Published Online: 2026-02-05

Published Print: 2026-02

Authors

Liu, Yanhong

Jia, Yinxu

Wang, Guanghui

Wang, Zhaojun

Zou, Changliang
License Information

Text and Data Mining valid from 2026-02-01

Version of Record valid from 2026-02-01
More Information

Article History

Received: 1 March 2025

Revised: 29 June 2025

First Online: 5 February 2026

Conflict of Interest

: The authors declare no conflict of interest.

Document is current