Mathy Versions Save

Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning

v0.9.6

5 months ago

0.9.6 (2023-11-30)

Features

  • package: fewer dependencies with fewer version pins (#95) (699d40e)

v0.9.5

1 year ago

0.9.5 (2022-10-10)

Features

  • swarm: increase solver state size to support longer problems (#82) (22a990b)

v0.9.4

1 year ago

0.9.4 (2022-10-10)

Bug Fixes

  • python3.7: update mathy_envs for typing fix (#80) (070fc8c)

v0.9.3

1 year ago

0.9.3 (2022-10-10)

Bug Fixes

  • windows: relax numpy range to support windows (#79) (1d591ad)

v0.9.2

1 year ago

0.9.2 (2022-10-10)

Bug Fixes

  • pypi: stricter requirements for dependencies (#76) (20df3be)

v0.9.1

3 years ago

0.9.1 (2021-04-08)

Features

  • requirements: update to latest mathy_core/mathy_envs versions (#57) (7983d88)

v0.9.0

3 years ago

0.9.0 (2020-10-18)

Features

  • solver: replace ML model with Swarm solver (2e192ff)

BREAKING CHANGES

  • solver: This removes mathy.agent and all training utilities

v0.8.1

3 years ago

0.8.1 (2020-07-24)

Bug Fixes

  • cli: simplify command without fragile installed (c4dfcec)

v0.8.0

3 years ago

0.8.0 (2020-07-24)

Features

  • mathy: cleanup and remove dead code (ec686d9)

BREAKING CHANGES

  • mathy: This removes the MCTS powered agent. It was a nice agent but the pieces required for it to work effectively have been lost. It's not a primary use-case of mine now, so it's better to drop it and remove any confusion.

  • refactor(agents): move to singular agent with generic names

  • PolicyValueModel -> AgentModel
  • Remove embeddings model and make it part of AgentModel
  • refactor(model): replace custom keras model with functional
  • allows graphing model architecture for website
  • adds extra validation
  • allows full-model saving (without explicit optimizer save/loading)
  • refactor(model): move action masking out of the model
  • Soooo masking doesn't play well with full-model saving and loading, or functional models, or keras strict data validation. Drop it out of the model, and let the action selector do its own masking.
  • TODO: add a loss term for the mask in addition to the policy loss?
  • chore: misc cleanup and fix tests

  • chore: update tf_siren dep

  • chore: fix some tests and remove dead ones

  • refactor(core): use mathy_core for CAS needs

This moves a lot of complexity out to another package, which is desirable for a number of reasons:

  • when you only need to do CAS things, the mathy_core package can be installed without the need for larger things like TensorFlow or PyTorch which can make the install time much quicker
  • the build time for the Mathy repo goes down by however much time it took to compile and test the core mathy code.
  • it's easier to browse the code if you're unfamiliar with Mathy because it's not buried in a monorepo under a mountain of other folders
  • chore: fix website build

  • perf(ci): refactor virtual envs to reduce build time

  • share a root virtualenv to avoid double or triple installing hefty packages like TensorFlow and PyTorch
  • chore: remove ci specific setup script

  • chore: remove disk space cleanup step

  • it takes about a minute, and it's unclear if it's needed now that we share a root virtual env
  • chore: drop keras-self-attention dep

  • chore: fix requirements for tf agent

  • chore: fix requirements for mkdocs plugin

  • chore: install graphviz on ci build machine

  • chore: try tensorflow 2.2.0

  • I think this caused optimizer loading problems last time I tried to upgrade, but let's see
  • chore: fix import errors

  • chore: try to confirm siren fix

  • chore: remove kwargs from Sine layer

  • chore: remove second pytest invocation for zero

  • TensorFlow didn't mix too well with multiprocessing so I had to run the MP tests separately for the Zero agent.
  • Zero agent is gone, cya extra test invocation
  • chore: fix venv path in test scripts

  • chore: drop example apps from main package

  • will add them later as mathy org repositories
  • update API docs
  • drop some unused queues
  • chore: drop reformer test

  • chore: bump tf_siren to 0.0.5 for tf2.2

  • chore: drop misc cleanup

  • test(cli): better coverage for generating problems

  • chore: cleanup from review

  • chore: cleanup from review

BREAKING CHANGES: This removes the "zero" agent entirely, and invalidates existing pretrained mathy models.

v0.7.14

4 years ago

0.7.14 (2020-04-19)

Features

  • fragile: add HistoryTree support
  • fragile: add support for lists of problems to swarm_solve
  • fragile: install as a non-optional dependency