-
Notifications
You must be signed in to change notification settings - Fork 6
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Missing learning.py, Config files and exact commands #6
Comments
@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
|
Hi Nilesh, Sorry for taking so long! I just came back from vacations. Just updated the README and the main config file. There was in fact an error in the README - the main script to run experiments is I'll leave the issue open for now since I'm re-running the experiment using the commit and config here just to make sure this indeed matches the paper (the repository also has some experimental changes I added after the submission, inducing tactics with loops in them, so just confirming there was no regression. If so I'll just revert back to an earlier commit). It's running now and seems to be making progress as I'd expect, so I'll let you know soon! I also added some instructions to the README that you can use to get a concrete sense of the action space, if that's of interest. Please let me know if you have any issues or questions! |
Amazing! Thank you. Will check out and try to reproduce this. My interest was in taking a similar DSL-based approach for the ARC-AGI prize but your new paper is also very interesting. :) |
BTW, you must have heard about DeepMind's AlphaProof that scored 28 points at IMO problems (thought it took 3 days): https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ Exciting times! :) |
From the README:
There is no
learning.py
file in the repo. And config files and exact commands are still missing.cc: @gpoesia
The text was updated successfully, but these errors were encountered: