Vikash Singh

optimusPrimeBee's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a collection 3 days ago

WTF GENIUS PAPERS

Collection

Papers that made me appreciate my major and my life a little more. obs=Observation, innov=Innovation. Most papers are abt improving tiny models. • 369 items • Updated about 18 hours ago • 82

upvoted a paper 5 days ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Paper • 2609.11085 • Published 7 days ago • 34

authored 7 papers 5 days ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Paper • 2609.11085 • Published 7 days ago • 34

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

Paper • 2609.09264 • Published 9 days ago • 9

Test-Time Scaling in Reasoning LLMs: Inference Regimes, Evaluation, and Reproducibility

Paper • 2608.04001 • Published Aug 4 • 1

Overcoming Dynamics-Blindness: Training-Free Pace-and-Path Correction for VLA Models

Paper • 2605.11459 • Published May 14

HugRAG: Hierarchical Causal Knowledge Graph Design for RAG

Paper • 2602.05143 • Published Feb 4

Mid-Think: Training-Free Intermediate-Budget Reasoning via Token-Level Triggers

Paper • 2601.07036 • Published Jan 11

Trust The Typical

Paper • 2602.04581 • Published Feb 4 • 2

submitted a paper to Daily Papers 5 days ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Paper • 2609.11085 • Published 7 days ago • 34

upvoted a paper 6 days ago

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

Paper • 2609.09264 • Published 9 days ago • 9

liked a dataset 8 days ago

IdanDavidovich/StochBench

Viewer • Updated 2 days ago • 1.07k • 395 • 4

commented a paper 7 months ago

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Paper • 2601.20055 • Published Jan 27 • 7 •

5

authored a paper 8 months ago

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Paper • 2601.20055 • Published Jan 27 • 7

upvoted 2 papers 8 months ago

Forte : Finding Outliers with Representation Typicality Estimation

Paper • 2410.01322 • Published Oct 2, 2024 • 2

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Paper • 2601.20055 • Published Jan 27 • 7

submitted a paper to Daily Papers 8 months ago

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Paper • 2601.20055 • Published Jan 27 • 7

authored a paper over 1 year ago

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Paper • 2505.20047 • Published May 26, 2025 • 3

upvoted a paper over 1 year ago

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Paper • 2505.20047 • Published May 26, 2025 • 3

liked a model over 1 year ago

meta-llama/Llama-3.2-90B-Vision

Image-Text-to-Text • 89B • Updated Sep 27, 2024 • 135 • 135