MCPcopy Create free account

hub / github.com/LukeBailey181/sgs / functions

Functions331 in github.com/LukeBailey181/sgs

⨍ Functions 331◇ Types & classes 78↳ Endpoints 5
Methodload
(cls, path: str)
sgs/data/dataset_types.py:173
Methodload
(cls, path: str)
sgs/data/dataset_types.py:203
Methodload
(cls, path: str)
sgs/data/dataset_types.py:240
Methodload
(cls, path: str)
sgs/data/dataset_types.py:377
Methodload
(cls, path: str)
sgs/data/dataset_types.py:408
Methodlocal_model_is_complete
(path: Path)
sgs/pipeline/full_pipeline.py:348
Functionlog_utilization_report_timings_DEP
( reports: Sequence[UtilizationReport | None], wandb_run: wandb.Run | None, wandb_prefix: str, )
sgs/utils/monitor.py:693
Functionnon_cot_few_shot_prompt
(data)
sgs/verification/prover/utils.py:20
Functionnon_cot_prompt
(data)
sgs/verification/prover/utils.py:12
Methodnum_proofs
(self)
sgs/data/dataset_types.py:76
Methodnum_proofs
(self)
sgs/data/dataset_types.py:150
Methodon_step_end
(self, args, state, control, **kwargs)
sgs/training/custom_trainers.py:394
Methodpeak
(xs: List[float])
sgs/utils/monitor.py:620
Methodpending_count
(self)
sgs/utils/server.py:303
Functionpost_process_output
(output)
sgs/verification/prover/utils.py:46
Functionpreprocess_function
Tokenizes the prompt and target, concatenates them, masks the prompt tokens in the labels, and shifts labels for causal LM.
sgs/training/train_local.py:389
Functionprocess_chunk_on_gpu
Process a chunk of prompts on a specific GPU.
sgs/models/query_local.py:63
Methodreport_dead_worker
( worker_id: str, reason: Optional[str] = None, authorization: Optional[st
sgs/utils/server.py:420
Methodreview
(self, conjectures: List[Conjecture])
sgs/models/guide/llm_judge_guide.py:60
Methodrun
(self)
sgs/verification/prover/workers/generator.py:37
Methodrun
(self)
sgs/verification/prover/lean/verifier.py:284
Methodrun_iteration
(self, iteration: int)
sgs/pipeline/full_pipeline.py:363
Methodsample
(self, **kwargs)
sgs/verification/prover/algorithms/base.py:61
Methodsample
(self, data, prob_log_dir, **kwargs)
sgs/verification/prover/algorithms/rmax_tree_search.py:304
Methodsave
(self, path: str)
sgs/data/dataset_types.py:219
Methodsave
(self, path: str)
sgs/data/dataset_types.py:423
Methodstatus
(authorization: Optional[str] = Header(None))
sgs/utils/server.py:357
Methodsubmit_result
( payload: SubmitResults, authorization: Optional[str] = Header(None) )
sgs/utils/server.py:464
Methodtorch_call
(self, features)
sgs/training/custom_trainers.py:21
Functionverify_lean4_file_with_memory_limit
( proof, memory_limit, timeout, lean_workspace=DEFAULT_LEAN_WORKSPACE )
sgs/verification/prover/lean/verifier.py:381
Functionverify_proofs
Verify proofs stored in an `EvaluationStatements` JSON file. This is intended to pair with `generate_proofs()`: generate a batch of proofs
sgs/training/evaluate.py:683
← previous301–331 of 331, ranked by callers