Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools
ContraGS: Codebook-Condensed and Trainable Gaussian Splatting for Fast, Memory-Efficient Reconstruction
arxiv.org·4d
Mentalic Net: Development of RAG-based Conversational AI and Evaluation Framework for Mental Health Support
arxiv.org·1d
Loading...Loading more...