Hugging Face's logo
Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity
Debargha  submitted a paper 2 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

models 0

None public yet

datasets 0

None public yet