arxiv:2505.20047
Vikash Singh
optimusPrimeBee
ยท
AI & ML interests
Formal Reasoning, Fine tuning, Redundancy Mitigations
Recent Activity
authored
a paper
about 2 months ago
Grammars of Formal Uncertainty: When to Trust LLMs in Automated
Reasoning Tasks
upvoted
a
paper
2 months ago
Grammars of Formal Uncertainty: When to Trust LLMs in Automated
Reasoning Tasks
liked
a model
5 months ago
meta-llama/Llama-3.2-90B-Vision
Organizations
None yet