Darion

raddar4's activity

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

upvoted a paper 6 months ago

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Paper • 2601.20055 • Published Jan 27 • 7

upvoted a paper 9 months ago

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

Paper • 2511.04662 • Published Nov 6, 2025 • 36