Proof Assistants, Correctness Guarantees, Logic Systems, Specification
LoxiLB -- More than MetalLB
oilbeater.comยท4d
Foldable SuperNets: Scalable Merging of Transformers with Different Initializations and Tasks
arxiv.orgยท5d
Lifespan Pancreas Morphology for Control vs Type 2 Diabetes using AI on Largescale Clinical Imaging
arxiv.orgยท2d
Loading...Loading more...