issues
search
allenai
/
ruletaker
Apache License 2.0
41
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
python theory_label_generator.py KeyError: 'id'
#27
SumNeuron
opened
2 years ago
0
Dataset Repo for ProofWriter
#26
HarmanDotpy
opened
3 years ago
0
Code to reproduce results from the paper
#25
soumyasanyal
closed
3 years ago
6
Support optional field loading from json
#24
OyvindTafjord
closed
3 years ago
0
Natural language for problog dataset
#23
bergen
opened
3 years ago
2
Add proof depths and proofs for generated theories
#22
sbhaktha
closed
3 years ago
2
Assertion Generation
#21
wn4github
opened
3 years ago
0
Fix typo: replace SLD by SDD
#20
sbhaktha
closed
3 years ago
0
Code for replicating paper results
#19
alexgaskell10
closed
3 years ago
0
Add dataset link to README
#18
sbhaktha
closed
3 years ago
0
Change 'ProbLog' to 'Problog'
#17
sbhaktha
closed
3 years ago
0
Serialize Rule probability field
#16
sbhaktha
closed
3 years ago
0
Add example ids, keep NL from legacy ruletaker datasets and set polarity based on probability
#15
sbhaktha
closed
3 years ago
0
Changes to label generation output format, metrics reported and more
#14
sbhaktha
closed
3 years ago
2
Add tests
#13
sbhaktha
closed
3 years ago
1
Switch all output from csv to jsonl format
#12
sbhaktha
closed
3 years ago
2
Create LICENSE
#11
sbhaktha
closed
3 years ago
1
Add black
#10
sbhaktha
closed
3 years ago
1
Show progress in theory generator
#9
sbhaktha
closed
3 years ago
1
Update README.md
#8
aimichal
closed
3 years ago
0
Update README with Contact and License
#7
sbhaktha
closed
3 years ago
0
Adding support for current theory input format to the label generator
#6
sbhaktha
closed
3 years ago
0
Remove support for PyDatalog
#5
sbhaktha
closed
3 years ago
0
Fix bug with formatting predicate arguments
#4
sbhaktha
closed
3 years ago
0
fixing error while running get_theorem_prover_labels.py
#3
bhavanadalvi
closed
3 years ago
1
Add a tool to run existing theories through Problog to get labels
#2
sbhaktha
closed
3 years ago
0
Constrain rules and assertions to be more meaningful
#1
sbhaktha
closed
3 years ago
0