are-dependent-types-actually-erased
❓Existential Types
Flag this post
Beyond Standard LLMs
📚Automata Learning
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
🔬Reverse Engineering
Flag this post
Alleviating Hyperparameter-Tuning Burden in SVM Classifiers for Pulmonary Nodules Diagnosis with Multi-Task Bayesian Optimization
arxiv.org·13h
⏱️Computational Complexity
Flag this post
Colorectal Cancer Histopathological Grading using Multi-Scale Federated Learning
arxiv.org·13h
⏱️Computational Complexity
Flag this post
From vibe coding to context engineering: 2025 in software development
🤖Program Synthesis
Flag this post
SurgViVQA: Temporally-Grounded Video Question Answering for Surgical Scene Understanding
arxiv.org·13h
🔲Cellular Automata
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
🎮Verification Games
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·2d
❓Existential Types
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·1d
🧩Separation Logic
Flag this post
The Role of a Web3 Development Company
🌐NetworkProtocols
Flag this post
AI as We Describe It: How Large Language Models and Their Applications in Health are Represented Across Channels of Public Discourse
arxiv.org·13h
🔤Language Design
Flag this post
Loading...Loading more...