Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
Aman Goel's picture

Aman Goel

goelaman
5 2
optimusPrimeBee's profile picture
·
https://amangoel.ai
  • amangoelumich
  • aman-goel
  • amangoelumich

AI & ML interests

None yet

Recent Activity

liked a dataset 8 days ago
AI-Secure/DecodingTrust-Agent-Platform
liked a dataset 8 days ago
AI-Secure/DTap-Bench-Agent-Trajectories
authored a paper 19 days ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization
View all activity

Organizations

None yet

upvoted 2 papers 19 days ago

Zero-knowledge LLM hallucination detection and mitigation through fine-grained cross-model consistency

Paper • 2508.14314 • Published Aug 19, 2025 • 2

TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice

Paper • 2502.18504 • Published Feb 21, 2025 • 2
upvoted a paper 23 days ago

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

Paper • 2609.09264 • Published 26 days ago • 9
upvoted a collection about 2 months ago

Qwen3.8

Collection
4 items • Updated Aug 13 • 551
upvoted a paper 11 months ago

VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks

Paper • 2511.04662 • Published Nov 6, 2025 • 37
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs