Aman Goel

goelaman's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored 4 papers 2 days ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Paper • 2609.11085 • Published 7 days ago • 34

A Neurosymbolic Approach to Natural Language Formalization and Verification

Paper • 2511.09008 • Published Nov 12, 2025

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

Paper • 2502.18504 • Published Feb 21, 2025 • 2

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

Paper • 2508.14314 • Published Aug 19, 2025 • 2

upvoted 2 papers 2 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 6 days ago

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

Paper • 2609.09264 • Published 9 days ago • 9

upvoted a collection about 1 month ago

Qwen3.8

Collection

4 items • Updated Aug 13 • 521

upvoted a paper 10 months ago

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

Paper • 2511.04662 • Published Nov 6, 2025 • 37