FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory Paper • 2510.02335 • Published Sep 26 • 2
Video-As-Prompt: Unified Semantic Control for Video Generation Paper • 2510.20888 • Published 11 days ago • 44
Document Understanding, Measurement, and Manipulation Using Category Theory Paper • 2510.21553 • Published 11 days ago • 4
Reasoning with Sampling: Your Base Model is Smarter Than You Think Paper • 2510.14901 • Published 18 days ago • 44
A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning Paper • 2510.15444 • Published 18 days ago • 144