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.

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

Makes max_calls for BranchBound predicate search configurable for training call #1157

Closed

Conversation

EvanOman
Copy link

@EvanOman EvanOman commented Apr 23, 2023

This PR codifies @fgregg 's suggestion here to increase value for max_calls by making that value configurable from the API. Not sure if this change should be included in prod but it does enable my application to work as intended.

Resolves #1156

@EvanOman
Copy link
Author

@fgregg Sorry to ping you directly, but I am seeing really interesting behavior now that I added this configurable branch_bound_max_calls argument for training.

For the exact same data, labels, and np/python seeds, I will get the "no predicates found" error at different branch_bound_max_calls values.

For the case I am looking at:

  • branch_bound_max_calls=2500: FAILS
  • branch_bound_max_calls=5000: WORKS
  • branch_bound_max_calls=10000: WORKS
  • branch_bound_max_calls=20000: FAILS
  • branch_bound_max_calls=25000: WORKS
  • branch_bound_max_calls=30000: FAILS
  • branch_bound_max_calls=50000: WORKS
  • branch_bound_max_calls=75000: FAILS
  • branch_bound_max_calls=100000: FAILS

Any thoughts on why this could be? Maybe the optimizer happens to land on a valid value in those ranges?

@EvanOman EvanOman closed this Nov 27, 2023
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.

No Predicates Found after Providing Too Many Labels
1 participant