conftrace_

hypothesis search

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

verification (1) gpt-4 (1) large generative models (1) logic learning (1) symbolic learning (1) data-driven discovery (1) inductive logic programming (1) user feedback (1) knowledge representation (1)

Papers

Position: Data-driven Discovery with Large Generative Models ICML 2024 ILP: A Short Look Back and a Longer Look Forward JMLR 2003