Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Implement external synthesis by ML (via Python script and NITTA REST API) #233

Closed
ryukzak opened this issue Feb 6, 2023 · 1 comment · Fixed by #167
Closed

Implement external synthesis by ML (via Python script and NITTA REST API) #233

ryukzak opened this issue Feb 6, 2023 · 1 comment · Fixed by #167
Assignees
@iburakov
Labels
ml Machine Learning related issue

Comments

@ryukzak
Copy link
Owner

ryukzak commented Feb 6, 2023

Currently, in #167 we have a data crawler to collect data from the synthesis tree, but it can't control the synthesis process by the educated model. So, we need to implement such a script for the following workflow:

  1. Run NITTA with web UI.
  2. Run ml-synthesis script.
  3. See the result in UI.
@ryukzak ryukzak converted this from a draft issue Feb 6, 2023
@ryukzak ryukzak added the ml Machine Learning related issue label Feb 6, 2023
@ryukzak ryukzak moved this to 📋 Backlog in NITTA Project Feb 6, 2023
@iburakov iburakov moved this from 📋 Backlog to 🏗 In progress in NITTA Project Feb 11, 2023
@iburakov iburakov moved this from 🏗 In progress to 📋 Backlog in NITTA Project Feb 13, 2023
@iburakov iburakov moved this from 📋 Backlog to 🏗 In progress in NITTA Project Feb 24, 2023
@iburakov iburakov linked a pull request Mar 30, 2023 that will close this issue
Add ML for synthesis prototype to repository #167
Merged
@iburakov iburakov mentioned this issue Mar 30, 2023
Closed
@iburakov iburakov linked a pull request Mar 30, 2023 that will close this issue
add evaluation.py to ml branch #239
Closed
@iburakov
Copy link
Collaborator

The ML synthesis was recently integrated into Haskell control flow (#167). Is this problem solved?

@iburakov iburakov mentioned this issue Jun 19, 2023
Merged
@github-project-automation github-project-automation bot moved this from 🏗 In progress to ✅ Done in NITTA Project Jan 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@iburakov iburakov

Labels
ml Machine Learning related issue
Projects
No open projects
NITTA Project
Status: ✅ Done
Milestone
No milestone
2 participants
@ryukzak @iburakov