Dive into Systems
🧩Theorem Proving
Flag this post
'No Free Lunch: Deconstruct Efficient Attention with MiniMax M2'
lmsys.org·2d
🔗Parser Combinators
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🧭SMT Solvers
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·2d
🏗Computer Architecture
Flag this post
Towards Automated Petrography
arxiv.org·2d
🔗Parser Combinators
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·2d
🧮Programming Language Theory
Flag this post
Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients
arxiv.org·1d
🔢Mathematical Logic
Flag this post
OceanAI: A Conversational Platform for Accurate, Transparent, Near-Real-Time Oceanographic Insights
arxiv.org·2d
⚖️Logic Programming
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·2d
🔗Parser Combinators
Flag this post
Prompting for Policy: Forecasting Macroeconomic Scenarios with Synthetic LLM Personas
arxiv.org·1d
🧮Programming Language Theory
Flag this post
Electric vehicle charging decisions with travel distance: novel clustering algorithm integrating spatial-temporal charging and trip data
sciencedirect.com·5h
⚖Algorithmic Game Theory
Flag this post
The AI Stack We Trust: Tools, Frameworks, and Practices We Use in Production
🔍Static Analysis
Flag this post
Using ensemble learning with hybrid graph neural networks and transformers to predict traffic in cities
arxiv.org·1d
🕸️Graph Theory
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·3d
⚖️Logic Programming
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·2d
⚖Algorithmic Game Theory
Flag this post
Loading...Loading more...