""" MATH Evaluation Environment for Atropos (Generative Mode) This environment evaluates models on the MATH dataset - a collection of challenging competition mathematics problems. Dataset: DigitalLearningGmbH/MATH-lighteval Paper: https://arxiv.org/abs/2103.03874 The evaluation follows a generative approach: - Models receive competition math problems - Expected to provide step-by-step reasoning - Final answer in \\boxed{} format - Uses math_verify for robust answer verification - Falls back to string normalization if symbolic comparison fails Supports 7 subsets: algebra, counting_and_probability, geometry, intermediate_algebra, number_theory, prealgebra, precalculus Supports thinking mode with tags for extended reasoning. """ import asyncio import random from concurrent.futures import ProcessPoolExecutor from typing import Dict, List, Optional import wandb from datasets import load_dataset from eval_helpers import ( THINK_CONTENT_AFTER_PATTERN, create_system_content, extract_boxed_answers, extract_thinking_content, format_math_answer_instruction, get_default_thinking_prompt, get_math_executor, save_eval_results, score_math_answer_async, validate_thinking_format, ) from pydantic import Field from tqdm.asyncio import tqdm_asyncio from atroposlib.envs.base import ( APIServerConfig, BaseEnv, BaseEnvConfig, ) # All available MATH subsets MATH_SUBSETS = [ "algebra", "counting_and_probability", "geometry", "intermediate_algebra", "number_theory", "prealgebra", "precalculus", ] # Prompt template following lighteval's structure MATH_PROMPT_TEMPLATE = """Solve the following math problem step by step. {answer_instruction} {problem}""" class MATHEvalConfig(BaseEnvConfig): """Configuration for MATH evaluation environment.""" # Dataset configuration dataset_name: str = Field( default="DigitalLearningGmbH/MATH-lighteval", description="HuggingFace dataset name", ) subsets: List[str] = Field( default=MATH_SUBSETS, description="List of subsets to evaluate (or 'all' for all subsets)", ) eval_split: str = Field(default="test", description="Split to evaluate on") shuffle_seed: int = Field(default=42, description="Random seed for shuffling") # Generation parameters eval_temperature: float = Field( default=0.6, description="Temperature for evaluation generation" ) eval_max_tokens: int = Field( default=0, description="Max tokens for evaluation (0 = use model default)" ) # System prompt configuration custom_system_prompt: Optional[str] = Field( default=None, description="Optional custom system prompt" ) # Thinking mode configuration thinking_mode: bool = Field( default=True, description="Whether to use thinking mode with tags", ) custom_thinking_prompt: Optional[str] = Field( default=None, description="Optional custom thinking prompt" ) # Math verification configuration include_hope_suffix: bool = Field( default=True, description="Whether to include 'I hope it is correct' in answer instruction", ) max_math_workers: int = Field( default=64, description="Maximum workers for math verification ProcessPoolExecutor", ) # Retry and debug configuration max_retries: int = Field( default=3, description="Maximum retries for failed API calls" ) retry_delay: float = Field( default=1.0, description="Delay between retries in seconds" ) min_response_length: int = Field( default=1, description="Minimum response length to consider valid" ) full_debug: bool = Field(default=False, description="Enable full debug output") # Override defaults group_size: int = 1 max_num_workers: int = 1024 max_eval_workers: int = 256 max_num_workers_per_node: int = 128 use_wandb: bool = True rollout_server_url: str = "http://localhost:8000" total_steps: int = 1 wandb_name: str = "math_eval" steps_per_eval: int = 1 class MATHEvalEnv(BaseEnv): """ MATH Evaluation Environment. Evaluates competition-level math problem solving using the MATH dataset. Uses math_verify for robust answer verification with string fallback. """ name = "math_eval" def __init__( self, config: MATHEvalConfig, server_configs: List[APIServerConfig], slurm_job_id: Optional[str] = None, testing: bool = False, ): super().__init__(config, server_configs, slurm_job_id, testing) self.config: MATHEvalConfig = config self.eval_items: List[Dict] = [] self._dataset_loaded = False self._math_executor: Optional[ProcessPoolExecutor] = None @classmethod def config_cls(cls) -> type: return MATHEvalConfig async def setup(self) -> None: """Initialize the environment and load the dataset.""" await super().setup() # Initialize math executor self._math_executor = get_math_executor(self.config.max_math_workers) if not self._dataset_loaded: await self._load_dataset() print("\nMATH Evaluation Setup (Generative Mode):") print(f" Dataset: {self.config.dataset_name}") print(f" Subsets: {self.config.subsets}") print(f" Evaluation split: {self.config.eval_split}") print(f" Thinking mode: {self.config.thinking_mode}") if self.config.thinking_mode: thinking_prompt = get_default_thinking_prompt( self.config.custom_thinking_prompt ) print(f" Thinking prompt: {thinking_prompt[:80]}...") print(f" Loaded {len(self.eval_items)} evaluation items") async def _load_dataset(self) -> None: """Load and process the MATH dataset.""" subsets_to_load = self.config.subsets self.eval_items = [] for subset in subsets_to_load: if subset not in MATH_SUBSETS: print( f"Warning: Subset '{subset}' not in known subsets. Attempting anyway..." ) print(f"Loading MATH subset: {subset}...") try: dataset = load_dataset( self.config.dataset_name, subset, trust_remote_code=True ) except Exception as e: print(f" Error loading subset '{subset}': {e}") continue if self.config.eval_split not in dataset: available_splits = list(dataset.keys()) print( f" Split '{self.config.eval_split}' not found for {subset}. Available: {available_splits}" ) continue split_data = dataset[self.config.eval_split] # Process items for idx, item in enumerate(split_data): problem = item.get("problem", "") solution = item.get("solution", "") # Extract final answer from solution # MATH solutions typically end with \boxed{answer} boxed = extract_boxed_answers(solution) if boxed: final_answer = boxed[-1] # Take last boxed else: # Try to find answer in different format final_answer = solution.strip() level = item.get("level", "") problem_type = item.get("type", subset) self.eval_items.append( { "id": f"{subset}_{idx}", "subset": subset, "problem": problem, "solution": solution, "answer": final_answer, "level": level, "type": problem_type, } ) print( f" Loaded {len([i for i in self.eval_items if i['subset'] == subset])} items from {subset}" ) # Shuffle with seed random.seed(self.config.shuffle_seed) random.shuffle(self.eval_items) self._dataset_loaded = True print( f"Total: Loaded {len(self.eval_items)} evaluation items from {len(subsets_to_load)} subsets" ) def _format_prompt(self, item: Dict) -> str: """Format the problem into a prompt.""" answer_instruction = format_math_answer_instruction( include_hope=self.config.include_hope_suffix ) return MATH_PROMPT_TEMPLATE.format( answer_instruction=answer_instruction, problem=item["problem"] ) def _create_system_content(self) -> str: """Create system message content based on thinking mode.""" return ( create_system_content( self.config.thinking_mode, self.config.custom_thinking_prompt, self.config.custom_system_prompt, ) or "" ) async def rollout_and_score_eval( self, item: Dict, server: APIServerConfig, ) -> Optional[Dict]: """Run evaluation on a single item and return the result.""" prompt = self._format_prompt(item) system_content = self._create_system_content() messages = [] if system_content: messages.append({"role": "system", "content": system_content}) messages.append({"role": "user", "content": prompt}) # Build API call parameters kwargs = { "model": server.model_name, "messages": messages, "temperature": self.config.eval_temperature, } if self.config.eval_max_tokens > 0: kwargs["max_tokens"] = self.config.eval_max_tokens response_text = "" for attempt in range(self.config.max_retries): try: response = await self.server.chat_completion(**kwargs) response_text = response.choices[0].message.content or "" if len(response_text) >= self.config.min_response_length: break except Exception as e: if self.config.full_debug: print(f" API error (attempt {attempt + 1}): {e}") if attempt < self.config.max_retries - 1: await asyncio.sleep(self.config.retry_delay) continue if not response_text: return None # Validate thinking format is_valid_format, content_for_extraction = validate_thinking_format( response_text, self.config.thinking_mode ) # Extract thinking content if present thinking_content = ( extract_thinking_content(response_text) if self.config.thinking_mode else None ) # Score using math_verify with string fallback gold_answer = item["answer"] is_correct, method, has_multiple_boxed = await score_math_answer_async( gold=gold_answer, response=response_text, after_think=self.config.thinking_mode, wrap_gold_boxed=True, executor=self._math_executor, debug=self.config.full_debug, ) # Extract the boxed answer for logging if self.config.thinking_mode: match = THINK_CONTENT_AFTER_PATTERN.search(response_text) score_content = match.group(1) if match else response_text else: score_content = response_text boxed_answers = extract_boxed_answers(score_content) extracted_answer = boxed_answers[0] if boxed_answers else None if self.config.full_debug: print(f"\n--- Item: {item['id']} ---") print(f"Subset: {item['subset']}, Level: {item.get('level', 'N/A')}") print(f"Problem: {item['problem'][:100]}...") print(f"Gold answer: {gold_answer}") print(f"Extracted: {extracted_answer}") print(f"Correct: {is_correct} (method: {method})") return { "item_id": item["id"], "subset": item["subset"], "level": item.get("level", ""), "problem": item["problem"][:200], "gold_answer": gold_answer, "extracted_answer": extracted_answer, "verification_method": method, "is_correct": is_correct if is_correct is not None else False, "has_multiple_boxed": has_multiple_boxed, "format_valid": is_valid_format, "response": response_text, "thinking_content": thinking_content, "has_thinking": thinking_content is not None, } async def evaluate(self, *args, **kwargs) -> Dict: """Run the full MATH evaluation.""" print(f"\n{'='*60}") print("Starting MATH Evaluation (Generative Mode)") print(f"{'='*60}") print(f" Subsets: {self.config.subsets}") print(f" Total questions: {len(self.eval_items)}") print(f" Thinking mode: {self.config.thinking_mode}") print(f"{'='*60}\n") # Create evaluation tasks async def eval_task(item): return await self.rollout_and_score_eval(item, self.server_configs[0]) tasks = [eval_task(item) for item in self.eval_items] # Run with progress bar results = await tqdm_asyncio.gather(*tasks, desc="Evaluating MATH") # Filter out failed results valid_results = [r for r in results if r is not None] if not valid_results: print("Warning: No valid evaluation results obtained") return {"error": "No valid results", "accuracy": 0.0} # Calculate overall metrics total = len(valid_results) correct = sum(1 for r in valid_results if r["is_correct"]) accuracy = correct / total if total > 0 else 0.0 # Calculate per-subset metrics subset_metrics = {} for r in valid_results: subset = r.get("subset", "unknown") if subset not in subset_metrics: subset_metrics[subset] = {"total": 0, "correct": 0} subset_metrics[subset]["total"] += 1 if r["is_correct"]: subset_metrics[subset]["correct"] += 1 for subset in subset_metrics: s_total = subset_metrics[subset]["total"] s_correct = subset_metrics[subset]["correct"] subset_metrics[subset]["accuracy"] = ( s_correct / s_total if s_total > 0 else 0.0 ) # Calculate per-level metrics (if available) level_metrics = {} for r in valid_results: level = r.get("level", "unknown") or "unknown" if level not in level_metrics: level_metrics[level] = {"total": 0, "correct": 0} level_metrics[level]["total"] += 1 if r["is_correct"]: level_metrics[level]["correct"] += 1 for level in level_metrics: l_total = level_metrics[level]["total"] l_correct = level_metrics[level]["correct"] level_metrics[level]["accuracy"] = ( l_correct / l_total if l_total > 0 else 0.0 ) # Count verification methods and other stats method_counts = {} for r in valid_results: method = r.get("verification_method", "unknown") method_counts[method] = method_counts.get(method, 0) + 1 multiple_boxed = sum( 1 for r in valid_results if r.get("has_multiple_boxed", False) ) format_valid = sum(1 for r in valid_results if r.get("format_valid", True)) has_thinking = sum(1 for r in valid_results if r.get("has_thinking", False)) has_boxed = sum( 1 for r in valid_results if r.get("extracted_answer") is not None ) metrics = { "accuracy": accuracy, "total_evaluated": total, "total_correct": correct, "num_subsets": len(subset_metrics), "has_boxed_rate": has_boxed / total if total > 0 else 0.0, "multiple_boxed_rate": multiple_boxed / total if total > 0 else 0.0, "format_compliance_rate": format_valid / total if total > 0 else 0.0, "thinking_utilization_rate": has_thinking / total if total > 0 else 0.0, "subset_metrics": subset_metrics, "level_metrics": level_metrics, "verification_methods": method_counts, } print(f"\n{'='*60}") print("MATH Evaluation Results") print(f"{'='*60}") print(f" Overall Accuracy: {accuracy:.2%} ({correct}/{total})") print(f" Has \\boxed{{}} Rate: {has_boxed / total:.2%}") print(f" Format Compliance: {format_valid / total:.2%}") if self.config.thinking_mode: print(f" Thinking Utilization: {has_thinking / total:.2%}") print("\n Per-Subset Breakdown:") for subset, data in sorted( subset_metrics.items(), key=lambda x: -x[1]["accuracy"] ): print( f" {subset}: {data['accuracy']:.2%} ({data['correct']}/{data['total']})" ) if level_metrics and len(level_metrics) > 1: print("\n Per-Level Breakdown:") for level, data in sorted(level_metrics.items()): print( f" {level}: {data['accuracy']:.2%} ({data['correct']}/{data['total']})" ) print(f"{'='*60}\n") # Save results if self.config.data_dir_to_save_evals: self._save_results(metrics, valid_results) return metrics def _save_results(self, metrics: Dict, results: List[Dict]) -> None: """Save evaluation results to disk.""" save_eval_results(self.config.data_dir_to_save_evals, metrics, results) async def wandb_log(self, metrics: Dict, step: int = 0) -> None: """Log metrics to Weights & Biases.""" if not self.config.use_wandb: return log_dict = { "math/accuracy": metrics.get("accuracy", 0), "math/total_evaluated": metrics.get("total_evaluated", 0), "math/num_subsets": metrics.get("num_subsets", 0), "math/has_boxed_rate": metrics.get("has_boxed_rate", 0), "math/format_compliance_rate": metrics.get("format_compliance_rate", 0), "math/thinking_utilization_rate": metrics.get( "thinking_utilization_rate", 0 ), } # Log per-subset accuracies for subset, data in metrics.get("subset_metrics", {}).items(): safe_name = subset.replace(" ", "_")[:30] log_dict[f"math/accuracy_{safe_name}"] = data.get("accuracy", 0) wandb.log(log_dict, step=step) # Required abstract method implementations async def get_next_item(self) -> Optional[Dict]: """Not used in evaluation mode.""" return None async def collect_trajectories(self, item) -> List: """Not used in evaluation mode.""" return [] async def score(self, rollout_group_data) -> Optional[List]: """Not used in evaluation mode.""" return None if __name__ == "__main__": MATHEvalEnv.cli()