FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
Paper • 2510.02335 • Published • 2
R. S. Sutton
RPC-LLM
AI & ML interests
Sampling-Based LLM Methods
Organizations
None yet
upvoted 5
papers 8 months ago
Video-As-Prompt: Unified Semantic Control for Video Generation
Paper • 2510.20888 • Published • 50
Document Understanding, Measurement, and Manipulation Using Category Theory
Paper • 2510.21553 • Published • 5
Reasoning with Sampling: Your Base Model is Smarter Than You Think
Paper • 2510.14901 • Published • 49
A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
Paper • 2510.15444 • Published • 151