77import logging
88from openai import OpenAI
99
10- from litellm_wrapper import LiteLLMWrapper
10+ from optillm . litellm_wrapper import LiteLLMWrapper
1111from optillm .mcts import chat_with_mcts
1212from optillm .bon import best_of_n_sampling
1313from optillm .moa import mixture_of_agents
1414from optillm .rto import round_trip_optimization
1515from optillm .self_consistency import advanced_self_consistency_approach
1616from optillm .pvg import inference_time_pv_game
17- from optillm .z3_solver import Z3SolverSystem
17+ from optillm .z3_solver import Z3SymPySolverSystem
1818from optillm .rstar import RStar
1919from optillm .cot_reflection import cot_reflection
2020from optillm .plansearch import plansearch
2121from optillm .leap import leap
2222from optillm .reread import re2_approach
23+ from optillm .cepo .cepo import cepo , CepoConfig , init_cepo_config
2324
2425# Setup logging
2526logging .basicConfig (level = logging .INFO , format = '%(asctime)s - %(levelname)s - %(message)s' )
@@ -44,12 +45,13 @@ def __init__(self):
4445 'rto' : round_trip_optimization ,
4546 'self_consistency' : advanced_self_consistency_approach ,
4647 'pvg' : inference_time_pv_game ,
47- 'z3' : lambda s , q , c , m : Z3SolverSystem (s , c , m ).process_query (q ),
48+ 'z3' : lambda s , q , c , m : Z3SymPySolverSystem (s , c , m ).process_query (q ),
4849 'rstar' : lambda s , q , c , m : RStar (s , c , m ).solve (q ),
4950 'cot_reflection' : cot_reflection ,
5051 'plansearch' : plansearch ,
5152 'leap' : leap ,
5253 're2' : re2_approach ,
54+ 'cepo' : lambda s , q , c , m : cepo (s ,q ,c ,m ,init_cepo_config ({'cepo_config_file' : './optillm/cepo/configs/cepo_config.yaml' })),
5355}
5456
5557def load_test_cases (file_path : str ) -> List [Dict ]:
0 commit comments