https://github.com/IBM/RuDaS
공식 코드RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.
RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools
Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
Inductive Logic Programming via Differentiable Deep Neural Logic Networks
Towards meta-interpretive learning of programming language semantics
AutoCoder: Enhancing Code Large Language Model with \textsc{AIEV-Instruct}
Learning logic programs by discovering higher-order abstractions
Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
Differentiable Inductive Logic Programming in High-Dimensional Space
CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text
Learn to Explain Efficiently via Neural Logic Inductive Learning
Towards One-Shot Learning for Text Classification using Inductive Logic Programming
Learning Logic Specifications for Soft Policy Guidance in POMCP
Differentiable Inductive Logic Programming for Structured Examples
Learning logic programs through divide, constrain, and conquer
Expressive Explanations of DNNs by Combining Concept Analysis with ILP
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.