SOTAVerified
|
Agents
Browse
Leaderboard
About
Tasks
›
Inductive logic programming
Inductive logic programming
Papers
Recently Added
Most Hyped
Most Active
Needs Verification
Most Verified
Showing 151–153 of 153 papers
Title
Date
Tasks
Status
Hype
Learning logic programs through divide, constrain, and conquer
Sep 16, 2021
Inductive logic programming
Program Synthesis
Code
Code Available
0
Efficient lifting of symmetry breaking constraints for complex combinatorial problems
May 14, 2022
Inductive logic programming
Code
Code Available
0
Learning Logic Specifications for Soft Policy Guidance in POMCP
Mar 16, 2023
Inductive logic programming
Code
Code Available
0
Show:
10
25
50
← Prev
Page 7 of 7
Next →
Benchmark Results
▼
RuDaS
4 submissions
↑ higher is better
#
Model
Metric
Claimed
Verified
Status
1
AMIE+
H-Score
0.23
—
Unverified
2
FOIL
H-Score
0.15
—
Unverified
3
Neural-LP
H-Score
0.1
—
Unverified
4
NTP
H-Score
0.07
—
Unverified
