Skip to content

ML path selector#99

Merged
Atos1337 merged 37 commits into
mainfrom
Atos1337/ml-only-path-selector
Jun 15, 2022
Merged

ML path selector#99
Atos1337 merged 37 commits into
mainfrom
Atos1337/ml-only-path-selector

Conversation

@Atos1337

@Atos1337 Atos1337 commented Jun 1, 2022

Copy link
Copy Markdown
Member

Description

Implementation of new heuristical-based selectors: CPInstSelector, SubpathGuidedSelector and ForkDepthSelector.
New ml-based path selector, which was proposed in relative issue.

Fixes #37

Type of Change

  • New feature (non-breaking change which adds functionality)

How Has This Been Tested?

Automated Testing

Tests for predictors in: org.utbot.predictors
Tests for featureProcessor in: org.utbot.features

Manual Scenario

You can generate tests with new selector:

  • uncomment Predictors.stateRewardPredictor = ... in ContestEstimator.kt
  • get models from @amandelpie or @Atos1337
  • set UtSettings.pathSelectorType=NN_REWARD_GUIDED_SELECTOR
  • set UtSettings.rewardModelPath="path/to/model"

@Atos1337 Atos1337 marked this pull request as draft June 1, 2022 09:04
@Atos1337 Atos1337 force-pushed the Atos1337/ml-only-path-selector branch from aba9586 to 4aed1a3 Compare June 3, 2022 14:09
@Atos1337

Atos1337 commented Jun 3, 2022

Copy link
Copy Markdown
Member Author

Comments about docs also appreciated

@Atos1337 Atos1337 marked this pull request as ready for review June 3, 2022 14:16

@CaelmBleidd CaelmBleidd left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some small comment

It's better to request a review for such PRs (with ml and non-ml changes) from someone from ml team as well. I think @amandelpie could help us with it

Comment thread docs/jlearch/execution-state-changes.md
Comment thread docs/jlearch/execution-state-changes.md
Comment thread utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt Outdated
Comment thread utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt Outdated
@CaelmBleidd CaelmBleidd requested a review from amandelpie June 4, 2022 11:40
@Atos1337 Atos1337 force-pushed the Atos1337/ml-only-path-selector branch from 7dddbc5 to 899fe07 Compare June 9, 2022 12:38

@amandelpie amandelpie left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

First part of comments

Comment thread gradle.properties Outdated
Comment thread gradle.properties

@amandelpie amandelpie left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

A lot of my comments are related to poor documentation and unclear logic.
I also need a time to debug and reproduce results

@amandelpie amandelpie left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I suppose that @Atos1337 fixed a lot of proposed changes and the PR could be merged

@Atos1337 Atos1337 force-pushed the Atos1337/ml-only-path-selector branch from 0325ddf to bec49b0 Compare June 15, 2022 07:25
@Atos1337 Atos1337 enabled auto-merge (squash) June 15, 2022 07:27
@CaelmBleidd CaelmBleidd self-requested a review June 15, 2022 10:27

@CaelmBleidd CaelmBleidd left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please, add a proper description for the request

@Atos1337 Atos1337 merged commit 1dae3a5 into main Jun 15, 2022
@Atos1337 Atos1337 deleted the Atos1337/ml-only-path-selector branch June 15, 2022 10:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Create learning based path selector

3 participants