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