MirageOS, dune, functional
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·4h
Single-to-mix Modality Alignment with Multimodal Large Language Model for Document Image Machine Translation
arxiv.org·4h
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·4h
Loading...Loading more...