issues
search
IBM
/
graph2tac
Graph-based neural tactic prediction models for Coq.
Apache License 2.0
8
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Jrute/prep for calc tactic embeddings
#163
jasonrute
opened
1 month ago
0
Proofs
#162
LasseBlaauwbroek
opened
5 months ago
0
Proofs
#161
LasseBlaauwbroek
closed
5 months ago
0
Fix pyproject.toml
#160
jasonrute
closed
9 months ago
0
Fix pyproject.toml
#159
jasonrute
closed
9 months ago
0
Fix pyproject.toml
#158
jasonrute
closed
9 months ago
0
Fix README
#157
jasonrute
closed
9 months ago
0
Fix README
#156
jasonrute
closed
9 months ago
0
Update README in prep for pypi
#155
jasonrute
closed
9 months ago
0
Upgrade to TF 2.12 and support python 3.11
#154
jasonrute
closed
11 months ago
3
Fix test warnings.
#153
jasonrute
closed
11 months ago
0
Upgrade pytactician to pypi version 15.1
#152
jasonrute
closed
11 months ago
0
Support python3.8 through 3.10
#151
jasonrute
closed
11 months ago
0
Use log prob
#150
jasonrute
closed
1 year ago
1
Fix tests
#149
jasonrute
closed
1 year ago
0
Speed up inference considerably
#148
jasonrute
closed
1 year ago
1
Mirek/graph constants json
#147
mirefek
closed
1 year ago
0
Speedup inference model
#146
jasonrute
closed
1 year ago
1
Speedup inference
#145
jasonrute
closed
1 year ago
0
Add option to profile server
#144
jasonrute
closed
1 year ago
4
Stop returning values in entry points and improve predict server tests
#143
jasonrute
closed
1 year ago
3
Increase recursion limit of g2t-server to 10000
#142
LasseBlaauwbroek
closed
1 year ago
0
Set thread count in predict server
#141
jasonrute
closed
1 year ago
2
measure time of prediction_requests.send()
#140
mirefek
closed
1 year ago
9
Mirek/predict control compile
#139
mirefek
closed
1 year ago
1
Quick speedup to inference
#138
jasonrute
closed
1 year ago
2
Make it possible to recompute definitions between epochs
#137
jasonrute
opened
1 year ago
0
Make hmodel test with aligned definitions in trace
#136
jasonrute
closed
1 year ago
0
Add test theorem lists
#135
jasonrute
closed
1 year ago
0
Upgrades to the tests
#134
jasonrute
closed
1 year ago
1
Mirek/predict nesting
#133
mirefek
closed
1 year ago
9
Add dataset with duplicated definitions
#132
LasseBlaauwbroek
closed
1 year ago
5
Speed up model by switching to ragged tensors
#131
jasonrute
closed
1 year ago
1
Remove valid_indices
#130
jasonrute
closed
1 year ago
0
Use ragged tensors for training model
#129
jasonrute
closed
1 year ago
2
Add test for update-new-definitions
#128
jasonrute
closed
1 year ago
0
Mirek/reindex2
#127
mirefek
closed
1 year ago
0
Jrute/fix accuracy calc
#126
jasonrute
closed
1 year ago
5
Fix small bug in loss
#125
jasonrute
closed
1 year ago
0
Proposal for better argument parse
#124
LasseBlaauwbroek
closed
1 year ago
1
Avoid dependence on valid_indices
#123
jasonrute
closed
1 year ago
1
more flexible tactic uniqueness filter
#122
mirefek
closed
1 year ago
3
Mirek/add split
#121
mirefek
closed
1 year ago
0
Jrute/predict tests
#120
jasonrute
closed
1 year ago
14
Remove debug code
#119
jasonrute
closed
1 year ago
0
Mirek/reindex
#118
jasonrute
closed
1 year ago
4
Mirek/simplify3
#117
mirefek
closed
1 year ago
1
Fix bugs
#116
jasonrute
closed
1 year ago
1
Fix bug in the predict server
#115
jasonrute
closed
1 year ago
0
Filter out lonely tactics
#114
LasseBlaauwbroek
closed
1 year ago
0
Next