Showing 110 of 110on this page. Filters & sort apply to loaded results; URL updates for sharing.110 of 110 on this page
An example of a Metamath proof | Download Scientific Diagram
Metamath Goals, Activities and Progress | PDF
PPT - MetaMath PowerPoint Presentation, free download - ID:3253225
PPT - Natural Deduction in the Metamath Proof Language PowerPoint ...
MetaMath by meta-math - SourcePulse
GitHub - metamath/set.mm: Metamath source file for logic and set theory
Proof Explorer - Home Page - Metamath
Metamath Goals, Activities and Progress | PPT
PPT - MetaMath Project Overview PowerPoint Presentation, free download ...
Metamath — SoftPython
Metamath - Wikipedia
Creating functions in Metamath - YouTube
Introduction to Metamath and mmj2 - YouTube
Metamath Report | Wolfram Data Repository
1 Structure of the MetaMath project consortium | Download Scientific ...
Metamath Zero: The Cartesian Theorem Prover | DeepAI
Automated Theorem Proving in MetaMath using Deep Learning (GPT-f) - YouTube
MetaMath by Meta Math - A undefined Template | Built At Lightspeed
Metamath Screenshots
MetaMath Mistral 7B By meta-math: Benchmarks, Features and Detailed ...
Home Page - Metamath
MetaMath Mistral 7B Local Installation on Windows - YouTube
MetaMath - a jahyungu Collection
Math Icons: Metamath M's Proms Common Core Standards
Metagraph of example 1 | Download Scientific Diagram
An extract of the Metamath formalization of matching logic. | Download ...
Metamath Statement Screen Demo - YouTube
MetaMath Mistral Pro - a Hugging Face Space by TencentARC
Meta Math MetaMath Mistral 7B - a Hugging Face Space by rasofex
GitHub - meta-math/MetaMath: MetaMath: Bootstrap Your Own Mathematical ...
MetaMath: Evaluation Methodology | PDF
ScalableMath/llemma-7b-prm-metamath-level-1to3-hf · Hugging Face
Metamath-lamp Guide: User Guide (Tutorial) and Reference Manual ...
GitHub - egladysh/metamath: Meta mathematics. Symbolic functions and ...
meta-math/MetaMath-7B-V1.0 at main
TheBloke/MetaMath-NeuralHermes-2.5-Mistral-7B-Linear-GGUF · Hugging Face
Metamath: A Computer Language For Pure Mathematics | PDF | Mathematical ...
EtashGuha/metamath · Datasets at Hugging Face
MetaMath：新数学推理数据集揭秘，让大语言模型突破逆转诅咒-CSDN博客
The Physicalization of Metamathematics and Its Implications for the ...
[2309.12284] MetaMath: Bootstrap Your Own Mathematical Questions for ...
alexanlee/meta-math-MetaMath-7B-V1.0 at main
A visualization of the proof-tree for 2 + 2 = 4 in Metamath. | Download ...
Paper page - MetaMath: Bootstrap Your Own Mathematical Questions for ...
Weyaxi/MetaMath-OpenHermes-2.5-neural-chat-7b-v3-1-7B-Linear · Hugging Face
open-llm-leaderboard/details_meta-math__MetaMath-13B-V1.0 · Datasets at ...
MaziyarPanahi/MetaMath-Cybertron-Starling-Mistral-7B-Instruct-v0.2 ...
Metamath: A Computer Language For Mathematical Proofs | PDF ...
harshitv804/MetaMath-Mistral-2x7B · Hugging Face
Anup744/meta-math-MetaMath-13B-V1.0 at main
GitHub - SuperBruceJia/MetaMath-Fine-Tune-with-LoRA: Fine-tuning and ...
metamath-turing-machines/compiler at master · sorear/metamath-turing ...
元數能MetaMath-探討數學背後的能力 - 元數能
MetaMath: Evaluation Methodology | PPT
MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs
themanas021/Mistral-MetaMath-camel_math01 at main
kaist-ai/metamath-langbridge-9b · Hugging Face
MetamathImport | Wolfram Function Repository
LEMAv1/peft-MetaMath-70b-math at main
RichardErkhov/mlfoundations-dev_-_oh_v1.3_metamath_x8-gguf · Hugging Face
Metamath: A Computer Language for Mathematical Proofs
mlfoundations-dev/oh_v1.3_metamath_x8 · Hugging Face
meta-math (MetaMath)
Asap7772/metamath-hint-v5-qwen-32B-base-gen__4500_6750 · Datasets at ...
open-llm-leaderboard/details_abacusai__Fewshot-Metamath-Mistral ...
#metamath #metamathqa #llama2 #ai #generativeai #llms | Ibrahim Sobh - PhD
metamath/stable-diffusion-v1-5-lora-finetune-pokemon-blip at main
Dataset · Issue #2 · meta-math/MetaMath · GitHub
MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ...
bedio/llama-3.2-1b-metamath-merged_v2 · Hugging Face
