Changes required to run: 2025.04.22

[caiovpsilveira]

Hello

Great work!

I want to point some changes that I had to do to be able to run, in case it helps someone.

1. In clover/exps.py :
   Change

def collect_cloverbench_gt():
    dirpath = "../dataset/Dafny"

to

def collect_cloverbench_gt():
    dirpath = "../dataset/CloverBench"

2. In .venv/lib/python3.12/site-packages/sglang/lang/ir.py :
   Remove "max_tokens" , as it was replaced by "max_completion_tokens", and OpenAI API returns that setting both is not supported.

    def to_openai_kwargs(self):
        # OpenAI does not support top_k, so we drop it here
        if self.regex is not None:
            warnings.warn("Regular expression is not supported in the OpenAI backend.")
        return {
            "max_tokens": self.max_new_tokens,    <-- remove this line
            "max_completion_tokens": self.max_new_tokens,
            "n": self.n,
            "stop": self.stop or None,
            "temperature": self.temperature,
            "top_p": self.top_p,
            "frequency_penalty": self.frequency_penalty,
            "presence_penalty": self.presence_penalty,
        }