miniF2F

KO | EN

gitlite — search

#hacktoberfest #react #llm #go #machine-learning #deep-learning #docker #macos #nodejs #windows #awesome #security #ios #open-source

(★ 14)

A fork of openai/miniF2F adapted to Lean 4, with corrections to formalizations and informal descriptions. for human readers.

miniF2F 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# MiniF2F

[![.github/workflows/ci.yml](https://github.com/google-deepmind/miniF2F/actions/workflows/ci.yml/badge.svg)](https://github.com/google-deepmind/miniF2F/actions/workflows/ci.yml)
[![Gitpod Ready-to-Code](https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod)](https://gitpod.io/#https://github.com/google-deepmind/miniF2F)

This repository is a fork of
[openai/miniF2F](https://github.com/openai/miniF2F), which is described in
[MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics](https://arxiv.org/abs/2109.00110).

It contains Lean 4 translations of the Lean 3 problems in the original,
translated using [mathport](https://github.com/leanprover-community/mathport).

Compared to the original, this:

*   contains natural language docstrings taken from (best estimates of) the
    source of the original problems, to make identification of misformalizations
    easier.

These descriptions originate from some combination of:

*   The contest collection question archive on the
        [AoPS forums](https://artofproblemsolving.com/community/c13_contest_collections)
    *   The [MATH dataset](https://github.com/hendrycks/math)

*   has many fewer misformalizations, with all known false statements removed,
    and many statements strengthened to match the strength of the english
    statement.

*   simplifies the `Minif2fImport` strategy, instead importing all of mathlib.

This is the version of the benchmark on which AlphaProof is evaluated.

This is not an official Google product.

miniF2F

miniF2F 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

miniF2F

miniF2F 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README