影响力指数

3.44/100

超过 10.5%

全站排名 #57,649

发表论文3 篇

平均评分3.6

年均产出3.0 篇/年

Darion Cassel

Researcher@Amazon·美国·OpenReview

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

ICLR 2026Poster

A Neurosymbolic Approach to Natural Language Formalization and Verification

ICLR 2026Rejected

ReSyn: Autonomously Scaling Synthetic Environments for Reasoning Models

ICLR 2026Rejected

合作者 (20)

Benjamin Kiesl-Reiter

Huzefa Rangwala