57 citations · 82 across the 5 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cond-mat.mes-hall2026
Bandwidth-Limited Critical Currents in Electrically Tunable Moiré Bands
Riccardo Bertini, Xueqiao Wang, Sergey Slizovskiy +16
Moiré superlattices host narrow minibands whose bandwidth governs correlated and topological phases. Here, we demonstrate that the bandwidth also sets the critical current for the…
cs.AI2026
A Minimal Agent for Automated Theorem Proving
Borja Requena, Austin Letson, Krystian Nowakowski +2
We propose a minimal agentic baseline that enables systematic comparison across different AI-based theorem prover architectures. This design implements the core features shared amo…