gpoesia / peano

An environment for learning formal mathematical reasoning from scratch
MIT License
45 stars 3 forks source link

Missing learning.py, Config files and exact commands #6

Open nileshtrivedi opened 1 month ago

nileshtrivedi commented 1 month ago

From the README:

The main file to use to reproduce the Khan Academy experiments from the paper is `learning.py`, which will start an agent
to learn to solve problems using reinforcement learning and tactic induction. The config files and exact commands to run will come soon -
feel free to open an issue if you're interested in those and this hasn't been updated yet!

There is no learning.py file in the repo. And config files and exact commands are still missing.

cc: @gpoesia

nileshtrivedi commented 2 weeks ago

@gpoesia Any chance you could provide these missing config files and commands to run so that I could try to train to induce tactics and reproduce the findings in the paper?

I am able to compile peano and load it in Python, but there seems to be no docs on how to use it in Python REPL. Running python tactics.py or python trainer.py throws errors like this:

Cannot find primary config 'tactics'. Check that it's in your config search path.

Config search path:
    provider=hydra, path=pkg://hydra.conf
    provider=main, path=file:///Users/mac/code/peano/learning/config
    provider=schema, path=structured://

Set the environment variable HYDRA_FULL_ERROR=1 for a complete stack trace.
Error executing job with overrides: []
Traceback (most recent call last):
  File "/Users/mac/code/peano/learning/trainer.py", line 315, in main
    trainer = TrainerAgent(cfg.trainer)
  File "/Users/mac/code/peano/learning/trainer.py", line 79, in __init__
    self.accumulate = config.accumulate
omegaconf.errors.ConfigAttributeError: Key 'accumulate' is not in struct
    full_key: trainer.accumulate
    object_type=dict