Darion's picture

2

Darion

raddar4

·

AI & ML interests

None yet

Recent Activity

updated a collection 3 days ago

upvoted a paper 3 days 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

updated a collection 3 days ago

my-papers

2 items • Updated 3 days ago

upvoted a paper 3 days ago

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Paper • 2601.20055 • Published 5 days ago • 6

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