MCPcopy Create free account

hub / github.com/Sphere-AI-Lab/FormalMATH-Bench / functions

Functions32 in github.com/Sphere-AI-Lab/FormalMATH-Bench

⨍ Functions 32◇ Types & classes 1
↓ 4 callersMethodstop
(self)
verify_answers.py:136
↓ 2 callersFunctionload_checkpoint
Load checkpoint file
generate_answers.py:57
↓ 2 callersFunctionmonte_carlo_evaluate
Evaluate the verification results using Monte Carlo simulation. Args: input_filepath (str): Path to the verification results fil
evaluate_results.py:38
↓ 2 callersFunctionprocess_data
Process data using vLLM to generate answers. This function provides compatibility with the original pipeline interface. Args:
generate_answers.py:122
↓ 2 callersFunctionsave_to_file
(filepath, data)
verify_answers.py:224
↓ 2 callersMethodsend_cmd
(self, cmd)
verify_answers.py:52
↓ 2 callersFunctionverify_answers
Verify answers and save the results Args: input_file (str): Path to the input file containing answers to be verified out
verify_answers.py:232
↓ 1 callersFunctioncheck_correct
(answers, sample_size)
evaluate_results.py:7
↓ 1 callersFunctionget_processed_items
Get set of identifiers for processed items
generate_answers.py:65
↓ 1 callersMethodinitialize_check
(self)
verify_answers.py:38
↓ 1 callersFunctionload_progress_from_file
Load a JSON progress file, attempting to recover data from incomplete JSON Args: filepath: The path to the JSON file
verify_answers.py:203
↓ 1 callersFunctionmain
()
FoMA_Eval.py:67
↓ 1 callersFunctionmain
()
generate_answers.py:257
↓ 1 callersFunctionmain
()
verify_answers.py:348
↓ 1 callersFunctionmain
()
evaluate_results.py:101
↓ 1 callersFunctionmerge_checkpoints
Merge results from all checkpoint files
generate_answers.py:106
↓ 1 callersFunctionparse_args
()
FoMA_Eval.py:9
↓ 1 callersFunctionparse_args
()
verify_answers.py:323
↓ 1 callersFunctionparse_args
()
evaluate_results.py:82
↓ 1 callersFunctionparse_arguments
()
generate_answers.py:242
↓ 1 callersFunctionprocess_answer
(item, answer, autoformalization, thread)
verify_answers.py:177
↓ 1 callersMethodprocess_responses
(self)
verify_answers.py:74
↓ 1 callersFunctionprocess_single_item
Process a single data item
generate_answers.py:29
↓ 1 callersMethodremove_last_comment
(self)
verify_answers.py:108
↓ 1 callersMethodsubmit_and_receive
(self, cmd)
verify_answers.py:56
Method__init__
(self, session_id, repl_path, lean_env_path, initial_context=None, timeout=600, expect_timeo
verify_answers.py:20
Functioninit_worker
Initialize worker process, set GPU environment, and initialize the model
generate_answers.py:14
Functionprocess_batch
Process a batch of data
generate_answers.py:69
Functionprocess_batch
(batch_id, item, batch_answers, context, autoformalization, repl_path, lean_env_path, sessi
verify_answers.py:151
Methodrun
(self)
verify_answers.py:112
Functionset_up_logging
Set up logging with the specified level.
FoMA_Eval.py:63
Functionsimulate_single
(args)
evaluate_results.py:12