Search Results for "test pattern generator"

ARC-AGI-1 Task Generator creates new ARC-style reasoning tasks whose distribution is designed to resemble the public ARC-AGI-1 evaluation set. It provides fresh problems that models are less likely to have encountered during training or previous evaluation. The project is intended to complement public benchmark scores by testing whether reasoning abilities transfer to newly generated examples.

DeepSeekMath-V2 is a large-scale open-source AI model designed specifically for advanced mathematical reasoning, theorem proving, and rigorous proof verification. It’s built by DeepSeek as a successor to their earlier math-specialist models. Unlike general-purpose LLMs that might generate plausible-looking math but sometimes hallucinate or mishandle rigorous logic, Math-V2 is engineered to not only generate solutions but also self-verify them, meaning it examines the derivations, checks...

AIPex is an AI-augmented development toolkit and workflow platform that aims to accelerate software productivity by integrating intelligent assistants, code generation tools, and customizable automation patterns directly into developer workflows. Rather than treating AI as a separate helper, AIPex embeds AI capabilities into common tasks like scaffolding components, generating tests, analyzing code quality, and performing refactors, allowing developers to stay in flow while benefiting from...

Inspect Petri is an open-source alignment auditing agent that lets researchers rapidly test concrete safety hypotheses against target models using realistic, multi-turn scenarios. Instead of building bespoke evals, Inspect Petri automatically generates audit environments from seed “special instructions,” orchestrates an auditor model to probe a target model, and simulates tool use and rollbacks to surface risky behaviors. Each interaction transcript is then scored by a judge model using a...

...The repository also includes examples and test snippets to help you understand expected inputs and typical outputs, which shortens the learning curve for newcomers.

...Training pipelines mix supervised learning from human professional games and self-play fine-tuning, allowing the model to learn opening patterns and endgame tactics beyond simple pattern libraries. The codebase includes tools for parsing classic Go formats, generating training examples, and evaluating models on standard test suites and online servers. A KGS/online client and match runner make it practical to stage controlled tournaments or continuous rating evaluation. Although later projects (like ELF OpenGo) surpassed it in strength, darkforestGo remains a historically important, clean reference for neural-MCTS Go systems.

Open Metaheuristic (oMetah) is a library aimed at the conception and the rigourous testing of metaheuristics (i.e. genetic algorithms, simulated annealing, ...). The code design is separated in components : algorithms, problems and a test report generator