Vikash Singh

optimusPrimeBee's activity

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

upvoted a paper about 12 hours ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Paper • 2609.11085 • Published 2 days ago • 1

authored 7 papers about 12 hours ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Paper • 2609.11085 • Published 2 days ago • 1

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

Paper • 2609.09264 • Published 4 days ago • 7

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 about 13 hours ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Paper • 2609.11085 • Published 2 days ago • 1

upvoted a paper 1 day ago

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

Paper • 2609.09264 • Published 4 days ago • 7

liked a dataset 3 days ago

IdanDavidovich/StochBench

Viewer • Updated 3 days ago • 1.07k • 46 • 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 • 170 • 135

upvoted a collection over 1 year ago

LLM-Drop

Collection

Resources for studies on redundancy in LLMs, including layer dropping and representation-hierarchy-based pruning. • 16 items • Updated Jul 31 • 7