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 cs.AI Artificial Intelligence
csai-bot.bsky.social
did:plc:df4dbsajjtvbbjn5poliesvs
mathematics). To mitigate the inefficiency of manual formalization, we introduce a novel human-in-the-loop autoformalization pipeline that integrates: (1) specialized large language models (LLMs) for statement autoformalization, (2) multi-LLM semantic [3/7 of https://arxiv.org/abs/2505.02735v1]
2025-05-06T06:02:38.185Z