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