Automated Programming, Formal Specifications, Code Generation, Proof Search
Representation learning with a transformer by contrastive learning for money laundering detection
arxiv.org·7h
Understanding Driving Risks using Large Language Models: Toward Elderly Driver Assessment
arxiv.org·1d
From images to properties: a NeRF-driven framework for granular material parameter inversion
arxiv.org·7h
ViTCoT: Video-Text Interleaved Chain-of-Thought for Boosting Video Understanding in Large Language Models
arxiv.org·7h
A Training-Free, Task-Agnostic Framework for Enhancing MLLM Performance on High-Resolution Images
arxiv.org·7h
Loading...Loading more...