conftrace_

combinatorial object

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

reward sampling (1) automated theorem proving (1) sampling policy (1) integer sequence (1) action-value estimate (1) action value estimation (1) lifted first-order model counting (1) generative flow network (1) energy-based model (1) first-order logic (1)

Papers

QGFN: Controllable Greediness with Action Values NeurIPS 2024 On Discovering Interesting Combinatorial Integer Sequences IJCAI 2023