Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Pneumatic elevators
interconnected.org·3d
Double Maths First Thing: Issue 34
aperiodical.com·4d
Eight-year-old gaming PC with Nvidia GTX 1080 found in the trash room gets a second life — offered a substantial upgrade to the finder despite age
tomshardware.com·11h
The distribution of calibrated likelihood functions on the probability-likelihood Aitchison simplex
arxiv.org·3d
An Exponentially Converging Particle Method for the Mixed Nash Equilibrium of Continuous Games
arxiv.org·3d
Structured Basis Function Networks: Loss-Centric Multi-Hypothesis Ensembles with Controllable Diversity
arxiv.org·3d
Denoising GER: A Noise-Robust Generative Error Correction with LLM for Speech Recognition
arxiv.org·2d
AnomalyLMM: Bridging Generative Knowledge and Discriminative Retrieval for Text-Based Person Anomaly Search
arxiv.org·2d
Loading...Loading more...