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 Looong's profile picture
·
https://vicky157.github.io
  • vikash_joh60795
  • vicky157
  • vikash-singh-john

AI & ML interests

Formal Reasoning, Fine tuning, Redundancy Mitigations

Recent Activity

commented on a paper 9 days ago
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
authored a paper 14 days ago
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
upvoted a paper 14 days ago
Forte : Finding Outliers with Representation Typicality Estimation
View all activity

Organizations

Debargha's profile picture

upvoted 2 papers 14 days ago

Forte : Finding Outliers with Representation Typicality Estimation

Paper • 2410.01322 • Published Oct 2, 2024 • 1

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Paper • 2601.20055 • Published 16 days ago • 6
upvoted a paper 9 months ago

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

Paper • 2505.20047 • Published May 26, 2025 • 3
upvoted a collection about 1 year ago

LLM-Drop

Collection
Model weights of paper "What Matters in Transformers? Not All Attention is Needed" (https://arxiv.org/abs/2406.15786) • 14 items • Updated Oct 23, 2024 • 4
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs