Skip to content

Issues: data61/PSL

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

54 Open 160 Closed
54 Open 160 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Abduction: Abduction Prover against MiniF2F
#216 opened Nov 11, 2023 by yutakang
5 tasks
Abduction: Evaluation script needed
#215 opened Nov 11, 2023 by yutakang
Abduction: print incomplete proof attempts every once in a while
#214 opened Nov 11, 2023 by yutakang
Synthetic SeLFiE: Soft Type
#213 opened Nov 11, 2023 by yutakang
Abduction: More aggressive parallelism for simultaneous abduction.
#212 opened Nov 10, 2023 by yutakang
Can we get rid of chained state from seed_of_or2and_edge?
#211 opened Jul 20, 2023 by yutakang
1
Abduction: More SeLFiE assertions to prune bad conjectures.
#209 opened Jun 1, 2023 by yutakang
@yutakang
Abduction: improve mk_free_varaible_of_typ
#196 opened May 11, 2023 by yutakang
Abduction: another way to detect bad applications of induction
#194 opened May 8, 2023 by yutakang
1
UR: proof states are not updated after proving new conjectures! bug
#186 opened Jun 5, 2021 by yutakang
@yutakang
3
Genetic_PaMpeR
#183 opened May 22, 2021 by yutakang
ALL: clickable flowchart to navigate our papers on related work.
#182 opened May 22, 2021 by yutakang
All: zero-click automatic application of AI tools (suggestion from Mathias Fleury)
#181 opened Oct 8, 2020 by yutakang
SeLFiE: Print_Is_Free, Print_Is_Var, Print_Is_Bound does not work for variables with question marks.
#179 opened Sep 22, 2020 by yutakang
@yutakang
1
Neural_PaMpeR: build the database again with each line tagged with proof obligations.
#178 opened Sep 10, 2020 by yutakang
@yutakang
16
PSL, UR: nunchaku as a sub-tool of PSL. enhancement
#171 opened Aug 23, 2020 by yutakang
@yutakang
UR: design decisions for the first prototype. question
#170 opened Aug 23, 2020 by yutakang
@yutakang
4
SeLFiE: make the caching mechanism for dive-in constructs modifier-sensitive? question
#165 opened Aug 14, 2020 by yutakang
@yutakang
1
SeLFiE: commonly used manually developed induction principles in the standard library enhancement
#159 opened Jul 24, 2020 by yutakang
10 of 15 tasks
@yutakang
2
SeLFiE: handle mutual recursion and induction
#158 opened Jul 24, 2020 by yutakang
SeLFiE: assertions for types enhancement
#150 opened Jul 24, 2020 by yutakang
@yutakang
1
SeLFiE: ignore sub-goals that are not the first sub-goal. enhancement
#141 opened May 25, 2020 by yutakang
@yutakang
SeLFiE: some supports to handle _dom from the function package. enhancement
#139 opened May 23, 2020 by yutakang
@yutakang
SeLFiE: separate heuristics for rule inversion and those for functional induction? enhancement question
#133 opened May 15, 2020 by yutakang
@yutakang
SeLFiE: LiFtEr: detect constants defined by inductive_set
#127 opened Apr 24, 2020 by yutakang
1
ProTip! no:milestone will show everything without a milestone.