Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Vikash Singh's picture
Open to Collab
1 4 1

Vikash Singh

optimusPrimeBee
Debargha's profile picture
·
https://vicky157.github.io
  • vikash_joh60795
  • vicky157
  • vikash-singh-john

AI & ML interests

Formal Reasoning, Fine tuning, Redundancy Mitigations

Recent Activity

authored a paper about 23 hours ago
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
upvoted a paper 1 day ago
Forte : Finding Outliers with Representation Typicality Estimation
upvoted a paper 1 day ago
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
View all activity

Organizations

Debargha's profile picture

authored a paper about 23 hours ago

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Paper • 2601.20055 • Published 3 days ago • 6
submitted a paper to Daily Papers 1 day ago

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Paper • 2601.20055 • Published 3 days ago • 6
authored a paper 8 months ago

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

Paper • 2505.20047 • Published May 26, 2025 • 3
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs