Showing 102 of 102on this page. Filters & sort apply to loaded results; URL updates for sharing.102 of 102 on this page
An example of a Metamath proof | Download Scientific Diagram
Metamath — SoftPython
Metamath Goals, Activities and Progress | PDF
PPT - MetaMath PowerPoint Presentation, free download - ID:3253225
Metamath - Wikipedia
Introduction to Metamath and mmj2 - YouTube
PPT - Natural Deduction in the Metamath Proof Language PowerPoint ...
Math Icons: Metamath M's Proms Common Core Standards
Metamath Report | Wolfram Data Repository
GitHub - metamath/set.mm: Metamath source file for logic and set theory
MetaMath by meta-math - SourcePulse
PPT - MetaMath Project Overview PowerPoint Presentation, free download ...
1 Structure of the MetaMath project consortium | Download Scientific ...
MetaMath by Meta Math - A undefined Template | Built At Lightspeed
Creating functions in Metamath - YouTube
Proof Explorer - Home Page - Metamath
MetaMath - a jahyungu Collection
MetaMath Mistral 7B by meta-math — VRAM 14.4GB, 32K context | LLM Explorer
Metagraph of example 1 | Download Scientific Diagram
MetaMath Mistral 7B Local Installation on Windows - YouTube
An extract of the Metamath formalization of matching logic. | Download ...
Metamath Goals, Activities and Progress | PPT
Home Page - Metamath
Meta Math MetaMath Mistral 7B - a Hugging Face Space by rasofex
Metamath-lamp Guide: User Guide (Tutorial) and Reference Manual ...
GitHub - meta-math/MetaMath: MetaMath: Bootstrap Your Own Mathematical ...
ScalableMath/llemma-7b-prm-metamath-level-1to3-hf · Hugging Face
MetaMath: Evaluation Methodology | PDF
Setup and Usage | meta-math/MetaMath | DeepWiki
meta-math/MetaMath-7B-V1.0 at main
Probability Theory and Mathematical Statistics | PPT
TheBloke/MetaMath-NeuralHermes-2.5-Mistral-7B-Linear-GGUF · Hugging Face
GitHub - egladysh/metamath: Meta mathematics. Symbolic functions and ...
meta-math (MetaMath)
The Physicalization of Metamathematics and Its Implications for the ...
jableable/metamath-proof-graphs · Datasets at Hugging Face
A visualization of the proof-tree for 2 + 2 = 4 in Metamath. | Download ...
open-llm-leaderboard/details_meta-math__MetaMath-13B-V1.0 · Datasets at ...
alexanlee/meta-math-MetaMath-7B-V1.0 at main
[2309.12284] MetaMath: Bootstrap Your Own Mathematical Questions for ...
Metamath: A Computer Language For Pure Mathematics | PDF | Mathematical ...
Weyaxi/MetaMath-OpenHermes-2.5-neural-chat-7b-v3-1-7B-Linear · Hugging Face
Metamath: A Computer Language for Mathematical Proofs
MaziyarPanahi/MetaMath-Cybertron-Starling-Mistral-7B-Instruct-v0.2 ...
Paper page - MetaMath: Bootstrap Your Own Mathematical Questions for ...
MetaMath：新数学推理数据集揭秘，让大语言模型突破逆转诅咒-CSDN博客
MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ...
#metamath | Sonoma State University
Metamath: A Computer Language For Mathematical Proofs | PDF ...
sstoica12/acquisition_metamath_llama_instruct-3_1-8b-math_answer ...
Anup744/meta-math-MetaMath-13B-V1.0 at main
metamath-turing-machines/compiler at master · sorear/metamath-turing ...
harshitv804/MetaMath-Mistral-2x7B · Hugging Face
GitHub - SuperBruceJia/MetaMath-Fine-Tune-with-LoRA: Fine-tuning and ...
themanas021/Mistral-MetaMath-camel_math01 at main
kaist-ai/metamath-langbridge-9b · Hugging Face
MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs
MetamathImport | Wolfram Function Repository
MetaMath: Evaluation Methodology | PPT
Metamathematics: Foundations & Physicalization
open-llm-leaderboard/details_abacusai__Fewshot-Metamath-Mistral ...
#metamath #metamathqa #llama2 #ai #generativeai #llms | Ibrahim Sobh - PhD
mlfoundations-dev/oh_v1.3_metamath_x8 · Hugging Face
sstoica12/acquisition_metamath_llama_instruct-3_1-8b-math_diversity_500 ...
metamath_prover | Reservoir
