FrontierSWE Benchmarking Platform

repository·main·Indexed 41 days ago

https://github.com/proximal-labs/frontier-swe

A benchmarking framework designed to evaluate coding agents on complex, long-horizon technical tasks in specialized domains such as ML research, computational science, and performance engineering. Version 0.1.0.

Tokens
64K
Snippets
198
Records
296
Agent score
53%

What's inside FrontierSWE

  1. Overview of FrontierSWE

    main

    FrontierSWE is a benchmarking framework designed to test coding agents on ultra-long horizon technical challenges. It utilizes real-world problems from specialized domains such as performance engineering, computational science, and ML research to evaluate the capabilities of frontier models.

    Results and analysis can be found on the official website, and the framework is also available as a managed environment via Prime Intellect.

  2. Contributing to Core GIT Translations

    main

    This directory manages translations for the core of Git. Localization (l10n) is coordinated by the l10n coordinator via the git-l10n/git-po repository.

    Language Naming Convention

    Language codes follow the format ll (ISO 639 two-letter code) or ll_CC (ISO 639 language code + ISO 3166 country/subdivision code). Examples:

    • de (German)
    • zh_CN (Simplified Chinese)
    • pt_BR (Brazilian Portuguese)
  3. Access Dart core libraries

    main

    The Dart SDK provides several core libraries for fundamental functionality. Note that except for dart:core, these libraries must be explicitly imported into your Dart files to be used.

    Key core libraries include:

    • dart:core: Core functionality such as strings, numbers, collections, errors, dates, and URIs.
    • dart:io: I/O operations for non-web applications.
    • dart:async: Asynchronous programming tools including futures, streams, and zones.
    import 'dart:math';
  4. Implement a PostgreSQL 18 Wire-Compatible Adapter on SQLite

    main

    The goal is to create a Zig program that acts as a PostgreSQL 18 server-side executable but uses SQLite as the underlying storage engine. The implementation must be wire-compatible such that a PostgreSQL 18 client (like psql, ORMs, or migration tools) cannot distinguish it from a real PostgreSQL 18 instance.

    Core Requirements

    • Wire Compatibility: Must handle startup packets, authentication handshakes, parameter status, backend startup metadata, and the PostgreSQL wire protocol.
    • Utility Compatibility: Must support PostgreSQL-style server utility names by inspecting argv[0] or supporting specific entry points: postgres, initdb, and pg_ctl.
    • SQL Compatibility: Must support simple query modes, prepared statements, portals, transaction behavior, and system catalog introspection.
    • Lifecycle Management: Must handle cluster bootstrap via initdb and start/stop semantics via pg_ctl (including postmaster.pid management).
  5. Navigate the Cranelift Codegen Workspace

    main

    The workspace is organized into the Wasmtime source tree and the benchmark infrastructure. Use the following paths to locate specific components for optimization:

    • /app/wasmtime/: The main source tree containing Rust and ISLE DSL code. This is the primary directory for modifications.
    • /app/wasmtime/cranelift/codegen/src/opts/: Contains mid-end optimization rules written in ISLE (e.g., arithmetic.isle, bitops.isle, cprop.isle, icmp.isle, shifts.isle).
    • /app/wasmtime/cranelift/codegen/src/isa/x64/: The x86-64 backend for instruction selection and lowering rules.
    • /app/wasmtime/cranelift/codegen/src/egraph/: The E-graph optimizer and cost model.
    • /app/wasmtime/crates/cranelift/src/: The translation layer from Wasmtime to Cranelift.
    • /app/wasmtime/vendor/regalloc2/: The vendored register allocator (fully modifiable).
    • /app/benchmarks/: Pre-built .wasm benchmark files organized by tiers (tier1–tier5).
    • /app/benchmark-runner/: The tool used to execute benchmarks using the Wasmtime library.
  6. Optimize an SGLang inference system

    main

    The goal is to optimize an SGLang serving instance running Qwen/Qwen3.5-4B on a B200 GPU to maximize request throughput and minimize latency. You must beat a well-tuned baseline that already utilizes FP8 KV cache, native MTP speculative decoding, the V2 mamba scheduler, CUDA graphs, and optimal memory allocation.

    Success Criteria

    1. Correctness Gate: Your server's outputs must match the baseline's outputs (at temperature=0, greedy decoding) on a large set of hidden prompts, including adversarial and degenerate inputs. If correctness fails, your score is zero.
    2. Speedup: Your score is the geometric-mean speedup across all hidden workloads, covering both sequential single-request latency and concurrent batched requests.

    Model Details

    • Model: Qwen/Qwen3.5-4B (multimodal text + vision, 4B parameters, bfloat16).
    • Weights Location: /app/model.
  7. Build a Lua 5.4 AOT Native Compiler

    main

    The goal is to build an ahead-of-time (AOT) compiler that translates Lua 5.4 programs into standalone x86-64 ELF executables.

    Core Requirements:

    • Real Native Code: You must emit x86-64 machine code or assembly that operates directly on Lua's internal data structures (TValue structs, tagged unions, stack slots).
    • No Interpreters: The output binary must NOT contain a bytecode dispatch loop or use luaV_execute. Submissions that are essentially interpreters will be rejected.
    • No C Embedding API: Do not use lua_* or luaL_* functions in the output binaries for compiled code logic. Instead, use internal runtime helpers (e.g., luaV_*, luaH_*, luaT_*) provided by the runtime library.
    • Standalone ELF: The output must be a valid ELF executable that produces byte-for-byte identical stdout to the reference Lua 5.4 interpreter.
    /app/lua-native-compiler/luanatc test.lua -o test
  8. Use First-Party CLI Docker Assets for packaging coding CLIs

    main

    The First-Party CLI Docker Assets serve as a shared packaging layer for first-party coding CLIs. They are designed to centralize CLI installation logic, preventing the need for bespoke installer blocks within individual task Dockerfiles.

    Key use cases include:

    • Decoupling CLI installation logic from one-off task Dockerfile blocks.
    • Supporting staged Harbor probe images that reuse a single installer asset.
    • Providing seed files for a future published base-image family.

    The long-term goal is to move toward a model where thin task Dockerfiles use FROM to inherit from a small, published base-image family, eliminating the need to copy individual CLI installers into every task environment.

  9. How CommonMark block parsing works

    main

    The CommonMark block parsing process occurs in three main steps to build a document tree:

    1. Iterate Open Blocks: The parser iterates through open blocks (starting from the root document) and descends through children. Each block imposes conditions (e.g., a block quote requires > and a paragraph requires a non-blank line). Some blocks may be matched, but unmatched blocks are not closed immediately to allow for [lazy continuation lines].
    2. Handle New Block Starts: After consuming continuation markers for existing blocks, the parser looks for new block starts (e.g., > for block quotes). If a new block start is found, any blocks unmatched in step 1 are closed before the new block is created as a child of the last matched container block.
    3. Consume Remainder: The remaining text on a line (after markers like >, list markers, or indentation are consumed) is incorporated into the last open block (e.g., paragraph, code block, heading, or raw HTML).

    Special Cases:

    • Setext Headings: Formed when a line of a paragraph is followed by a [setext heading underline].
    • Reference Link Definitions: Detected when a paragraph is closed; the accumulated text lines are parsed for reference link definitions. Any remainder is treated as a normal paragraph.
    > Lorem ipsum dolor
    sit amet.
    > - Qui *quodsi iracundia*
    > - aliquando id
  10. Constraints and rules for Revideo optimization

    main

    When optimizing the Revideo pipeline, adhere to these strict constraints:

    What you CANNOT do:

    • Modify the public API contract (e.g., the renderVideo() function signature in @revideo/renderer).
    • Use lossy optimizations (frame skipping, quality reduction, or resolution changes). The output must be near pixel-perfect matches to the baseline.
    • Change the video output format (must remain valid MP4).
    • Access or reference /tests/, /baseline/, or verifier internals.

    Deliverable Requirements:

    • Your score is the geometric mean speedup of (baseline_time / candidate_time).
    • If any hidden test scene fails the visual correctness or duration gate, your score is zero.
  11. Create paragraphs in CommonMark

    main

    A paragraph is a sequence of non-blank lines that cannot be interpreted as other kinds of blocks.

    Rules for Paragraphs:

    • Content Formation: Formed by concatenating lines and removing initial and final spaces or tabs.
    • Indentation:
      • The first line may be preceded by up to three spaces of indentation.
      • Four spaces of indentation is treated as a code block, not a paragraph.
      • Lines after the first may be indented any amount.
    • Line Breaks: Multiple blank lines between paragraphs have no effect. Final spaces or tabs are stripped before inline parsing; a paragraph ending with two or more spaces will not end with a hard line break.
    # Valid paragraph (up to 3 spaces)
       aaa
    bbb
    
    # Invalid paragraph (4 spaces = code block)
        aaa
    bbb
  12. How lists interrupt paragraphs in CommonMark

    main

    Unlike some other Markdown implementations (like Markdown.pl), CommonMark allows a list to interrupt a paragraph without requiring a blank line.

    The Rule for Preventing Spurious Lists: To prevent accidental list triggers from hard-wrapped numerals within a paragraph, CommonMark only allows lists starting with 1 to interrupt a paragraph. For example, a line starting with 14. will be treated as part of the preceding paragraph rather than the start of a new list.

    Example of valid interruption:

    I need to buy
    - new shoes
    - a coat
    Foo
    - bar
    - baz

    Results in:

    <p>Foo</p>
    <ul>
    <li>bar</li>
    <li>baz</li>
    </ul>