math-ai

There are 5 repositories under math-ai topic.

  • yifanzhang-pro/AutoMathText

    Official implementation of DPFM @ ICLR 2024 paper "AutoMathText: Autonomous Data Selection with Language Models for Mathematical Texts" (Huggingface Daily Papers: https://huggingface.co/papers/2402.07625)

    Language:Python70134

  • meiyulee/MathAI

    免費數字驅動的數學模型人工智能 | 為你的數字規律建立數學模型 | C語言免安裝軟體

    Language:Batchfile35311

  • iiis-ai/IterativeQuestionComposing

    Official implementation of DPFM @ ICLR 2024 paper "Augmenting Math Word Problems via Iterative Question Composing"(https://arxiv.org/abs/2401.09003)

    Language:Python9120

  • zukahai/machine-learning

    210
  • Theorem_Proof

    sourceduty/Theorem_Proof

    🧮 Mathematical theorem proving assistant.

    10