Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Nav3 Router: Convenient Navigation on Top of Jetpack Navigation 3
hackernoon.com·14h
B-TGAT: A Bi-directional Temporal Graph Attention Transformer for Clustering Multivariate Spatiotemporal Data
arxiv.org·22h
Novel Ferroresonant Transformer Fault Diagnostic via Adaptive Spectral Analysis and Machine Learning
Loading...Loading more...