The Station: An Open-World Environment for AI-Driven Discovery Paper β’ 2511.06309 β’ Published Nov 9 β’ 35
WirelessMathLM: Teaching Mathematical Reasoning for LLMs in Wireless Communications with Reinforcement Learning Paper β’ 2509.23219 β’ Published Sep 27 β’ 18
Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification Paper β’ 2509.23061 β’ Published Sep 27 β’ 6
TreePO: Bridging the Gap of Policy Optimization and Efficacy and Inference Efficiency with Heuristic Tree-based Modeling Paper β’ 2508.17445 β’ Published Aug 24 β’ 80
shibing624/text2vec-base-chinese Sentence Similarity β’ 0.1B β’ Updated Nov 14, 2024 β’ 508k β’ β’ 766