Nick Feng's picture

2

Nick Feng

NickF0211

https://www.cs.toronto.edu/~fengnick/

AI & ML interests

None yet

Recent Activity

upvoted a paper about 14 hours ago

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

upvoted a paper 3 months ago

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

View all activity

Organizations

None yet

upvoted a paper about 14 hours ago

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Paper • 2601.20055 • Published 3 days ago • 5

upvoted a paper 3 months ago

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

Paper • 2511.04662 • Published Nov 6, 2025 • 35