Aman Goel
goelaman
ยท
AI & ML interests
None yet
Recent Activity
upvoted a paper 1 day ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean upvoted a collection 28 days ago
Qwen3.8 upvoted a paper 10 months ago
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical
Consistency ChecksOrganizations
None yet