Debargha

non-profit

AI & ML interests

None defined yet.

submitted a paper to Daily Papers 2 months ago

Trust The Typical

Paper • 2602.04581 • Published Feb 4 • 1

optimusPrimeBee

authored a paper 3 months ago

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Paper • 2601.20055 • Published Jan 27 • 7

optimusPrimeBee

submitted a paper to Daily Papers 3 months ago

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Paper • 2601.20055 • Published Jan 27 • 7

optimusPrimeBee

authored a paper 11 months ago

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Paper • 2505.20047 • Published May 26, 2025 • 3

authored 2 papers 11 months ago

Forte : Finding Outliers with Representation Typicality Estimation

Paper • 2410.01322 • Published Oct 2, 2024 • 1

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Paper • 2505.20047 • Published May 26, 2025 • 3