影响力指数

-/100

发表论文1 篇

平均评分4.0

年均产出1.0 篇/年

Maxwell Crouse

Researcher@International Business Machines·美国·OpenReview

研究方向

Neuro-symbolic · Semantic parsing · Theorem proving

Formally Specifying the High-Level Behavior of LLM-Based Agents

ICLR 2024Withdrawn

合作者 (7)

Ibrahim Abdelaziz

Luis A. Lastras

Pavan Kapanipathi

Sadhana Kumaravel