neuro-symbolic-reasoning
Neuro-Symbolic Reasoning
Mode Detection
Detect user intent and route accordingly:
→ Ideation: "How should I...", "What are the tradeoffs...", "Design an experiment..."
- NO code, NO file creation
- See references/ideation.md
→ Implementation: "Implement...", "Build...", "Write code...", "Debug..."
- See references/solvers.md for code
- See references/logic-llm.md for format
- See references/packages.md for setup
File Creation Policy
Small files, few files:
- Create files (not inline code) but keep them small and focused
More from sundial-org/skills
icml-reviewer
|
82training-data-curation
Guidelines for creating high-quality datasets for LLM post-training (SFT/DPO/RLHF). Use when preparing data for fine-tuning, evaluating data quality, or designing data collection strategies.
58cs-research-methodology
Conduct a literature review and develop a CS research proposal. Use when asked to review a research area, find gaps in existing work, and propose a novel research contribution. The output is a research proposal identifying an assumption to challenge (the "bit flip") and how to validate it.
58ai-co-scientist
Transform Claude Code into an AI Scientist that orchestrates research workflows using tree-based hypothesis exploration. Triggers on "research project", "scientific experiment", "run experiments", "AI scientist", "tree search experimentation", "systematic study".
54tinker
Fine-tune LLMs using the Tinker API. Covers supervised fine-tuning, reinforcement learning, LoRA training, vision-language models, and both high-level Cookbook patterns and low-level API usage.
53project-referee
Critiques ML conference papers with reviewer-style feedback. Use when users want to anticipate reviewer concerns, identify weaknesses, check claim-evidence gaps, or find missing citations.
51