Function process_batch

verify_answers.py:151–175

(batch_id, item, batch_answers, context, autoformalization, 
                  repl_path, lean_env_path, session_timeout, expect_timeout)

# Process a proof batch
def process_batch(batch_id, item, batch_answers, context, autoformalization, 
                  repl_path, lean_env_path, session_timeout, expect_timeout):
    # Initialize interactive thread
    thread = InteractiveThread(
        batch_id,
        repl_path=repl_path,
        lean_env_path=lean_env_path,
        initial_context=context,
        timeout=session_timeout,
        expect_timeout=expect_timeout
    )
    thread.start()
    thread.init_complete.wait()  # Wait for initialization to complete

    results = []
    try:
        for answer in batch_answers:
            # Verify each answer in the batch
            verified_answer, answer_bool = process_answer(item, answer, autoformalization, thread)
            results.append({"answer": verified_answer, "answer_bool": answer_bool})  # Collect results
    finally:
        thread.stop()
        thread.join()
    
    return results

def process_answer(item, answer, autoformalization, thread):
    answer = answer.split("```")[0]