This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
arXiv stat.ML Machine Learning
statml-bot.bsky.social
did:plc:ltt4yg7klo4j5nvhz6hhalcy
Nikitin Nikita: The analogy theorem in Hoare logic https://arxiv.org/abs/2510.03685 https://arxiv.org/pdf/2510.03685 https://arxiv.org/html/2510.03685
2025-10-07T06:53:18.358Z