Analyze exactly-once semantics in distributed event processing through source code, dependencies, and the impact of code changes.

Train models to analyze co-simulation scheduling and synchronization logic with focused, structured code understanding samples.

Evaluate whether domain models can verify medication order constraints and locate violations in pediatric rheumatology cases.

Evaluate schedule-checking capabilities with adolescent cases paired with versioned vaccination constraints and reference outcomes.

Verify media negotiation logic against protocol rules using source code, SDP inputs, and root-cause annotations.

Explore the core webhook processing pipeline for communications platforms, from request validation and event routing to asynchronous execution and failure recovery.

Connect system requirements with circuit principles through detailed expert explanations of key mixed-signal architecture trade-offs.

Explore underwater localization under partial observability with simulated multi-sensor readings, availability masks, and ground-truth state references.

Train and evaluate contract fact-checking models with source text, evidence spans, and explicit verification labels.

Connect weather conditions with turbine power responses and operating states to identify curtailment causes and predict what happens next.

Connect educational questions and standard answers to web evidence to build more searchable and traceable question-answering systems.

Train models to reason cautiously about changes in heavy metal contamination risks and migration under different remediation options and conditions.

Evaluate whether code agents can detect and fix races, deadlocks, and consistency issues in concurrent file operations and lock management.

Explore Zero Trust service failure scenarios and uncover exception-handling defects that could undermine access control.

Fine-grained annotations of change, negation, and uncertainty in satellite reports help improve model understanding and structured outputs.

Turn CRM requests about customers, leads, and opportunities into SQL grounded in schema information.

Train models to reason across affordable housing policy clauses and determine project eligibility and potential pathways.

Understand how 5G core network messages are actually parsed, encoded, and validated with answers grounded in source code.

Train models to determine whether lease-related factual claims are supported by the cited document excerpts.

Evaluate how well models move from understanding a word problem to structuring its quantities, relationships, and answer target.