Inferring multiple helper Dafny assertions with LLMs
arxiv.org·4d
💎Refinement Types
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·4d
🎨Creative Coding
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·3d
🌳Tree-sitter
Flag this post
Improving Diagnostic Performance on Small and Imbalanced Datasets Using Class-Based Input Image Composition
arxiv.org·1d
👁️Computer Vision
Flag this post
CaRF: Enhancing Multi-View Consistency in Referring 3D Gaussian Splatting Segmentation
arxiv.org·1d
👁️Computer Vision
Flag this post
Loading...Loading more...