Benjamin Caldwell

Identifiers

• name variant Benjamin Caldwell 0.60 · backfill

Papers (1)

1. TensorRocq: Enabling diagrammatic reasoning in Rocq cs.LO · 2026 · author #1

Mentions

• 2604.17592 #1 · arxiv_oai · confidence 0.70 Benjamin Caldwell

Frequent Coauthors

• Aleks Kissinger 1 shared papers
• Robert Rand 1 shared papers
• William Spencer 1 shared papers