Probe Implementation

[ReubenJ]

Implementation of the method from "Just-in-time learning for bottom-up enumerative synthesis".

TODO:

1. Init Probe top-down iterator
2. init update function for the probabilities of the grammar
3. write priority function that multiplies the priority function of the program and returns the most likely program
4. update derivation_heuristic accordingly
5. write tests

• check that log probabilities align with the intended enumeration order
• re-use parent's probabilities to calculate the current probability again.

Possible future work:

• Add alternating search procedures to Probe? #8 ?
• Add BottomUp iterator for Probe

[THinnerichs]

I added a prototypical implementation of Probe to Garden. I still have to write proper tests + docs.

@ReubenJ I am overwriting some core functions of Herb, like priority_function, rulenode_log_probability,... . Also, I am not happy with overwriting all top-down iterators and having to do the same for all possible iterator-type classes.
Maybe there is a smoother way?

[codecov-commenter]

Codecov Report

❌ Patch coverage is 87.87879% with 8 lines in your changes missing coverage. Please review.
✅ Project coverage is 81.67%. Comparing base (c82513c) to head (26f8036).
⚠️ Report is 15 commits behind head on main.

Files with missing lines	Patch %	Lines
src/Probe/Probe.jl	88.88%	7 Missing ⚠️
src/frangel/method.jl	66.66%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main       #5      +/-   ##
==========================================
+ Coverage   74.62%   81.67%   +7.05%     
==========================================
  Files           2        3       +1     
  Lines          67      131      +64     
==========================================
+ Hits           50      107      +57     
- Misses         17       24       +7     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[ReubenJ]

All good on my end @THinnerichs 🤥

[ReubenJ]

Ok, tests were broken because of the updates to imports/exports. Should be good now 🤞