StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
Paper • 2609.09264 • Published • 8
Aman Goel
goelaman
·
AI & ML interests
None yet
Recent Activity
upvoted a paper 3 days ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean upvoted a collection 30 days ago
Qwen3.8 upvoted a paper 10 months ago
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical
Consistency ChecksOrganizations
None yet