conftrace_

formula embedding

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

interactive theorem proving (1) benchmarking framework (1) architecture comparison (1) machine learning (1) automated reasoning (1) transformer architecture (1)

Papers

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving AAAI 2024