Case Western Reserve University

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

optimusPrimeBee submitted a paper about 21 hours ago

Are Dense Rewards Worth Their Tokens in GRPO?

Debargha submitted a paper 9 days ago

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

optimusPrimeBee submitted a paper 2 months ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

View all activity

Papers

Are Dense Rewards Worth Their Tokens in GRPO?

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

View all Papers

CWRU 's papers 3

Submitted by

Vikash Singh

Are Dense Rewards Worth Their Tokens in GRPO?

Case Western Reserve University

6

Submitted by

Debargha Ganguly

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

Case Western Reserve University

Submitted by

Mengying Wang

Assessing LLMs for Serendipity Discovery in Knowledge Graphs: A Case for Drug Repurposing

Case Western Reserve University