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