Search Results - RepositoryStats

37

159

mit

3

MWPToolkit is an open-source framework for math word problem(MWP) solvers.

pytorch deep-learning graph-to-tree sequence-to-tree math-word-problem sequence-to-sequence pretrained-language-model

Created 2021-01-26

564 commits to master branch, last one about a year ago

5

32

unknown

1

[ACL 2023] Solving Math Word Problems via Cooperative Reasoning induced Language Models

acl gpt nlp bert llms mcts gpt-j gsm8k acl2023 deberta gpt-j-6b reasoning language-model chain-of-thought math-word-problem monte-carlo-tree-search

Created 2023-05-07

7 commits to main branch, last one 6 months ago

1

28

unknown

3

Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

ai4math data-synthesis theorem-proving machine-learning complex-reasoning math-word-problem large-language-models automated-theorem-proving math-word-problem-solving natural-language-processing

Created 2024-02-14

7 commits to main branch, last one about a month ago