Case Western Reserve University

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

Debargha submitted a paper 6 days ago

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

optimusPrimeBee submitted a paper about 2 months ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

harimo authored a paper 2 months ago

Don't Pass@k: A Bayesian Framework for Large Language Model Evaluation

View all activity

Papers

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

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

View all Papers

submitted a paper to Daily Papers 6 days ago

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

Paper • 2611.02332 • Published 7 days ago • 13

optimusPrimeBee

submitted a paper to Daily Papers about 2 months ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Paper • 2609.11085 • Published Sep 10 • 12

authored 3 papers 2 months ago

Don't Pass@k: A Bayesian Framework for Large Language Model Evaluation

Paper • 2510.04265 • Published May 12 • 1

Scorio.jl: A Julia package for ranking stochastic responses

Paper • 2603.14103 • Published Mar 14 • 1

Test-Time Scaling in Reasoning LLMs: Inference Regimes, Evaluation, and Reproducibility

Paper • 2608.04001 • Published Aug 4 • 1

authored 2 papers 3 months ago

Ranking Reasoning LLMs under Test-Time Scaling

Paper • 2603.10960 • Published Mar 11 • 1

LoRATK: LoRA Once, Backdoor Everywhere in the Share-and-Play Ecosystem

Paper • 2403.00108 • Published Feb 29, 2024

authored a paper over 1 year ago

More for Keys, Less for Values: Adaptive KV Cache Quantization

Paper • 2502.15075 • Published Feb 20, 2025