Search results

Abduction: Abduction Prover against MiniF2F

Status: Open.

#216 In data61/PSL;

· yutakang opened on Nov 11, 2023

Abduction: Evaluation script needed

Status: Open.

#215 In data61/PSL;

· yutakang opened on Nov 11, 2023

Abduction: print incomplete proof attempts every once in a while

Status: Open.

#214 In data61/PSL;

· yutakang opened on Nov 11, 2023

Synthetic SeLFiE: Soft Type

Status: Open.

#213 In data61/PSL;

· yutakang opened on Nov 11, 2023

Abduction: More aggressive parallelism for simultaneous abduction.

Status: Open.

#212 In data61/PSL;

· yutakang opened on Nov 10, 2023

Can we get rid of chained state from <code>seed_of_or2and_edge</code>?

Status: Open.

#211 In data61/PSL;

· yutakang opened on Jul 20, 2023

Abduction: More SeLFiE assertions to prune bad conjectures.

Status: Open.

#209 In data61/PSL;

· yutakang opened on Jun 1, 2023

Abduction: improve <code>mk_free_varaible_of_typ</code>

Status: Open.

#196 In data61/PSL;

· yutakang opened on May 11, 2023

Abduction: another way to detect bad applications of induction

Status: Open.

#194 In data61/PSL;

· yutakang opened on May 8, 2023

UR: proof states are not updated after proving new conjectures!

bug

Status: Open.

#186 In data61/PSL;

· yutakang opened on Jun 5, 2021

Genetic_PaMpeR

Status: Open.

#183 In data61/PSL;

· yutakang opened on May 22, 2021

ALL: clickable flowchart to navigate our papers on related work.

Status: Open.

#182 In data61/PSL;

· yutakang opened on May 22, 2021