Skip to content
View DebarghaG's full-sized avatar
👋
muahahahaha
👋
muahahahaha
54 followers · 80 following

Achievements

Achievement: Starstruckx2Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx2Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report DebarghaG

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
debarghag/README.md

Hi! 👋

debarghag

  • 👨‍💻 My personal website is debargha.com
  • 📫 Email : maildebargha {at} gmail.com

Pinned Loading

  1. forte forte Public

    Official Implementation for Forte: Finding Outliers using Representation Typicality Estimation (ICLR 2025)

    Python 5 1

  2. proofofthought proofofthought Public

    Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

    Python 364 23

  3. forte-api forte-api Public

    Python 3 2

  4. grammars-formal-uncertainty grammars-formal-uncertainty Public

    [NeurIPS 2025] Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

    Python 6