Search results

Add Ben-Or and Tendermint to Proof Completion

Status: Open.

#93 In specula-org/tlaps-bench;

· Qian-Cheng-nju opened on Jul 31, 2026

Consider moving the inductive-invariance how-to out of the proof-from-scratch prompt

Status: Open.

#88 In specula-org/tlaps-bench;

· tangruize opened on Jul 30, 2026

Separate proof-completion context from agent-written proofs

Status: Open.

#86 In specula-org/tlaps-bench;

· Qian-Cheng-nju opened on Jul 30, 2026

Inspect data

Status: Open.

#85 In specula-org/tlaps-bench;

· tianyin opened on Jul 29, 2026

Categorizing the tasks

Status: Open.

#84 In specula-org/tlaps-bench;

· tianyin opened on Jul 29, 2026

Reduce the repetitiveness of the tasks

Status: Open.

#83 In specula-org/tlaps-bench;

· tianyin opened on Jul 29, 2026

TODOs for "Proof Completion" release

Status: Open.

#82 In specula-org/tlaps-bench;

· tianyin opened on Jul 29, 2026

Add a third task type: prove-or-disprove

Status: Open.

#35 In specula-org/tlaps-bench;

· Qian-Cheng-nju opened on Jun 30, 2026