Ricardo Silveira Cabral

~Ricardo_Silveira_Cabral1

2

论文总数

2.0

年均投稿

6.3

平均评分

接收情况2/2

会议分布

NeurIPS

1

COLM

1

发表论文 (2 篇)

20252 篇

Logic.py: Bridging the Gap between LLMs and Constraint Solvers

NeurIPS 2025Poster

MLGym: A New Framework and Benchmark for Advancing AI Research Agents

COLM 2025Poster

合作者 (19)

Pascal Kesseli1 篇

Peter O'Hearn1 篇

Ajay Menon1 篇

Amar Budhiraja1 篇

Deepak Nathani1 篇

Despoina Magka1 篇

Dieuwke Hupkes1 篇

Gaurav Chaurasia1 篇