-
Notifications
You must be signed in to change notification settings - Fork 4
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Consider symbolically joining choice points instead of exploring branches end-to-end
enhancementNew feature or requestNew feature or requestStatus: Open.#5 In namin/holey;Generalize branch exploration to choice points, and guess systematically or randomly (guided search using LLMs)
enhancementNew feature or requestNew feature or requestStatus: Open.#4 In namin/holey;Design mode of interactions with LLMs
enhancementNew feature or requestNew feature or requestStatus: Open.#3 In namin/holey;Debug, classify and fix the errors when running
puzzle_solverbugSomething isn't workingSomething isn't workinggood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#2 In namin/holey;Find tasks/benchmarks other than synthesis of a parameter over a predicate
satenhancementNew feature or requestNew feature or requestStatus: Open.#1 In namin/holey;