Vikash Singh
optimusPrimeBee
AI & ML interests
Formal Reasoning, Fine tuning, Redundancy Mitigations
Recent Activity
authored
a paper
2 days ago
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
upvoted
a
paper
2 days ago
Forte : Finding Outliers with Representation Typicality Estimation
upvoted
a
paper
2 days ago
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
Organizations
