Cactus Language • Semantics 1
inquiryintoinquiry.com·19h
🔢Denotational Semantics
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·7h
🎯Performance Proofs
A multi-platform GPU accelerated library for signal analysis using Apple MLX
byron-the-bulb.github.io·16h·
Discuss: Hacker News
📊Spectrograms
Wave-PDE Nets: Trainable Wave-Equation Layers as an Alternative to Attention
arxiv.org·7h
🌀Differential Geometry
Keep It on a Leash: Controllable Pseudo-label Generation Towards Realistic Long-Tailed Semi-Supervised Learning
arxiv.org·7h
🧠Machine Learning
Detecting Notational Errors in Digital Music Scores
arxiv.org·1d
🎼Computational Musicology
From Matmul to Meaning
evis.dev·9h·
Discuss: Hacker News
📐Linear Algebra
Quant-dLLM: Post-Training Extreme Low-Bit Quantization for Diffusion Large Language Models
arxiv.org·7h
💻Local LLMs
Vector Trifference
arxiv.org·7h
📐Linear Algebra
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·1d·
Discuss: Hacker News
🧮SMT Solvers
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·7h
👑Coq Tactics
Emergence of Superposition: Unveiling the Training Dynamics of Chain of Continuous Thought
arxiv.org·7h
🔲Cellular Automata
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·11h·
Discuss: Hacker News
🧠Intelligence Compression
Characteristic Learning for Provable One Step Generation
arxiv.org·7h
🤖Grammar Induction
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·7h
🎯Performance Proofs
Learning to Predict Chaos: Curriculum-Driven Training for Robust Forecasting of Chaotic Dynamics
arxiv.org·7h
🧠Machine Learning
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.org·7h
🧠Intelligence Compression
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·7h
💻Programming languages