Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification
The SERVE-AI-VAL Box - I built a portable AI-in-a-box that runs off solar, hand crank, and battery power for about $300
reddit.comยท2d
The famous "bottomless pit" AI greentext is fake
seangoedecke.comยท2d
Beyond Single: A Data Selection Principle for LLM Alignment via Fine-Grained Preference Signals
arxiv.orgยท2d
Towards Experience-Centered AI: A Framework for Integrating Lived Experience in Design and Development
arxiv.orgยท2d
Optimizing Retrieval-Augmented Generation (RAG) for Colloquial Cantonese: A LoRA-Based Systematic Review
arxiv.orgยท1d
Graph Neural Network and Transformer Integration for Unsupervised System Anomaly Discovery
arxiv.orgยท20h
X-UniMotion: Animating Human Images with Expressive, Unified and Identity-Agnostic Motion Latents
arxiv.orgยท20h
Loading...Loading more...