Flunzmas / gym-autokey

An OpenAI gym environment for automated rule-based deductive program verification in KeY.

Flunzmas/gym-autokey Issues

GoalRGCN training termination not working
Closed 4 years ago
Save trained GoalRGCN in agents/goal_rgcn_agent.py
Updated 4 years ago
Fix Memory usage of GoalRGCN agent
Closed 4 years ago1
Add option to yield 'raw' features instead of the pre-designed features
Closed 4 years ago
Prevent vanishing values in GoalRGCN layer progression
Closed 4 years ago
Change GoalGraph to hold src node's class as edge feature
Closed 4 years ago
Remove rewarders
Closed 4 years ago
Move config parametrisation to command line args
Closed 4 years ago
add option "no-SMT" or display SMT deactivation on missing SMT solver
Closed 4 years ago
Add detailed background description
Closed 4 years ago
Add alternative dense rewarding scheme
Closed 4 years ago1
Add autokey evaluation framework
Closed 4 years ago
Clean up PO files
Closed 4 years ago
Make AST features and their extraction customisable and explain the process
Updated 4 years ago
Improve data logging during learning
Updated 4 years ago
improve the env's rendering
Updated 4 years ago