Issues

• Abduction: Abduction Prover against MiniF2F

  data61/PSL#216 · Filter by author yutakang opened on Nov 11, 2023

• Abduction: Evaluation script needed

  data61/PSL#215 · Filter by author yutakang opened on Nov 11, 2023

• Abduction: print incomplete proof attempts every once in a while

  data61/PSL#214 · Filter by author yutakang opened on Nov 11, 2023

• Synthetic SeLFiE: Soft Type

  data61/PSL#213 · Filter by author yutakang opened on Nov 11, 2023

• Abduction: More aggressive parallelism for simultaneous abduction.

  data61/PSL#212 · Filter by author yutakang opened on Nov 10, 2023

• Can we get rid of chained state from seed_of_or2and_edge?

  data61/PSL#211 · Filter by author yutakang opened on Jul 20, 2023
  1

• Abduction: More SeLFiE assertions to prune bad conjectures.

  data61/PSL#209 · Filter by author yutakang opened on Jun 1, 2023
  

• Abduction: improve mk_free_varaible_of_typ

  data61/PSL#196 · Filter by author yutakang opened on May 11, 2023

• Abduction: another way to detect bad applications of induction

  data61/PSL#194 · Filter by author yutakang opened on May 8, 2023
  1

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

  bug
  data61/PSL#186 · Filter by author yutakang opened on Jun 5, 2021
  3

  

• Genetic_PaMpeR

  data61/PSL#183 · Filter by author yutakang opened on May 22, 2021

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

  data61/PSL#182 · Filter by author yutakang opened on May 22, 2021

• All: zero-click automatic application of AI tools (suggestion from Mathias Fleury)

  data61/PSL#181 · Filter by author yutakang opened on Oct 8, 2020

• SeLFiE: Print_Is_Free, Print_Is_Var, Print_Is_Bound does not work for variables with question marks.

  data61/PSL#179 · Filter by author yutakang opened on Sep 22, 2020
  1

  

• Neural_PaMpeR: build the database again with each line tagged with proof obligations.

  data61/PSL#178 · Filter by author yutakang opened on Sep 10, 2020
  16

  

• PSL, UR: nunchaku as a sub-tool of PSL.

  enhancement
  data61/PSL#171 · Filter by author yutakang opened on Aug 23, 2020
  

• UR: design decisions for the first prototype.

  question
  data61/PSL#170 · Filter by author yutakang opened on Aug 23, 2020
  4

  

• SeLFiE: make the caching mechanism for dive-in constructs modifier-sensitive?

  question
  data61/PSL#165 · Filter by author yutakang opened on Aug 14, 2020
  1

  

• SeLFiE: commonly used manually developed induction principles in the standard library

  enhancement
  data61/PSL#159 · Filter by author yutakang opened on Jul 24, 2020
  2

  

• SeLFiE: handle mutual recursion and induction

  data61/PSL#158 · Filter by author yutakang opened on Jul 24, 2020

• SeLFiE: assertions for types

  enhancement
  data61/PSL#150 · Filter by author yutakang opened on Jul 24, 2020
  1

  

• SeLFiE: ignore sub-goals that are not the first sub-goal.

  enhancement
  data61/PSL#141 · Filter by author yutakang opened on May 25, 2020
  

• SeLFiE: some supports to handle _dom from the function package.

  enhancement
  data61/PSL#139 · Filter by author yutakang opened on May 23, 2020
  

• SeLFiE: separate heuristics for rule inversion and those for functional induction?

  enhancementquestion
  data61/PSL#133 · Filter by author yutakang opened on May 15, 2020
  

• SeLFiE: LiFtEr: detect constants defined by inductive_set

  data61/PSL#127 · Filter by author yutakang opened on Apr 24, 2020
  1