Run Loop

Main loop of interactions between the agent and the proof state.

class RunInfos(**data)

Bases: BaseModel

Create a new model by parsing and validating input data from keyword arguments.

Raises [ValidationError][pydantic_core.ValidationError] if the input data cannot be validated to form a valid model.

self is explicitly positional-only to allow self as a field name.

runtime: float

success: bool

steps: int

success_per_goal: dict[str, bool]

agent_stats: AgentStats | None

model_config: ClassVar[ConfigDict] = {}

Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

run_loop(deductive_agent, proof, rules)

Run DeductiveAgent until saturation or goal found.

Return type:

RunInfos