plain text

transition number	0
record for	Adaptive Special Soundness: Improved Knowledge Extraction by Adaptive Useful Challenge Sampling

Transition information #1098132 - created on 2024/03/28