- RL approach: MDP formulation, PPO, curriculum learning - LLM-driven approach: compact LLM fine-tuned as scheduler - Neuro-symbolic approach (recommended): symbolic rules (70%) + small neural policy (30%) + arbiter - Expression verifier training for Core's internal verification component - Comprehensive training pipeline combining all approaches - Evaluation metrics for Core performance