OpenAgentSkill Registry Manifest
Skill: Llm Srbench
Slug: deep-symbolic-mathematics-llm-srbench
Category: agent-frameworks
Description: [ICML2025 Oral] LLM-SRBench: A New Benchmark for Scientific Equation Discovery with Large Language Models

Agent fit:
- Decision: 45/100 Needs manual review
- Primary fit: Coding agents
- Role: Needs validation

Supply profile:
- Track: Coding and developer agents
- Scenario: Coding agents
- Applicable agents: Claude Code, CLI, Codex, Cursor, Python
- Maintenance: 11mo since push
- Risk: Needs review

Trust:
- Trust score: 74/100 Strong shortlist
- Audit: 70/100 Needs review

Attribution:
- Status: Community indexed
- Source: GitHub star discovery
- Creator: deep-symbolic-mathematics
- Claim URL: https://www.openagentskill.com/skills/deep-symbolic-mathematics-llm-srbench#claim-this-skill

Install:
npx skills add deep-symbolic-mathematics/llm-srbench

URLs:
- Web: https://www.openagentskill.com/skills/deep-symbolic-mathematics-llm-srbench
- API: https://www.openagentskill.com/api/agent/skills/deep-symbolic-mathematics-llm-srbench
- Install API: https://www.openagentskill.com/api/skills/deep-symbolic-mathematics-llm-srbench/install
- Repository: https://github.com/deep-symbolic-mathematics/llm-srbench