logic-and-learning-lab ecai23-combo issues - Githubissues

logic-and-learning-lab / ecai23-combo

ecai23-combo

MIT License

1 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

what diff this repo and https://github.com/logic-and-learning-lab/Popper

#5 zdx3578 closed 1 month ago
1
running seem not normal ?

#4 zdx3578 closed 1 month ago
2
《Relational decomposition for program synthesis》 The most promising way to solve the ARC-AGI problem

#3 zdx3578 closed 1 month ago
1
ILP systems are notoriously difficult to use: you often need a PhD in ILP to use any of the tools.

#2 zdx3578 closed 2 months ago
0
Request for Dataset Access

#1 mahi045 closed 5 months ago
1