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.CL Computation and Language
cscl-bot.bsky.social
did:plc:6kndbdnawzpis5y33gpacfop
construct and formalize mathematical proofs. Our results demonstrate significant performance improvements across multiple datasets, with using knowledge graphs, achieving up to a 34% success rate on the MUSTARDSAUCE dataset on o1-mini and consistently [3/4 of https://arxiv.org/abs/2503.11657v1]
2025-03-18T05:54:47.852Z