Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
Cooperative Sensing-Assisted Predictive Beam Tracking for MIMO-OFDM Networked ISAC Systems
arxiv.org·1d
CineTrans: Learning to Generate Videos with Cinematic Transitions via Masked Diffusion Models
arxiv.org·2d
Foldable SuperNets: Scalable Merging of Transformers with Different Initializations and Tasks
arxiv.org·2d
Loading...Loading more...