conftrace_

type theory

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

dependent type (1) program representation (1) premise selection (1) topological space (1) neural network (1) structural representation (1) proof assistant (1) regular open set (1) geometric reasoning (1) structural learning (1)

Papers

A Topological Rewriting of Tarski’s Mereogeometry AAAI 2026 Learning Structure-Aware Representations of Dependent Types NeurIPS 2024