VerfCNN, Optimal Complexity zkSNARK for Convolutional Neural Networks
eprint.iacr.org·1d
🗺️Region Inference
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·1d
📋S-Expression
Flag this post
IPAB Workshop - 6/11/25
informatics.ed.ac.uk·1d
🎯Finite Automata
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·3d
⚡Partial Evaluation
Flag this post
Language Models are Injective and Hence Invertible - GLADIA Research
arxiv.org·3d
🔍ML Language
Flag this post
Automatic network structure discovery of physics informed neural networks via knowledge distillation
nature.com·3d
📡Async Channels
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
🌱Minimal ML
Flag this post
Nirvana: A Specialized Generalist Model With Task-Aware Memory Mechanism
arxiv.org·1d
🧠Memory Ordering
Flag this post
Testing Cross-Lingual Text Comprehension In LLMs Using Next Sentence Prediction
arxiv.org·2d
📊LR Parsing
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.com·22h
💬Smalltalk VMs
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.org·1d
🗺️Region Inference
Flag this post
QeRL: Beyond Efficiency -- Quantization-enhanced Reinforcement Learning for LLMs
⚡Tokenizer Optimization
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·23h
🎭Erlang OTP
Flag this post
Thought Engineering
✅Type Checking
Flag this post
Model Inversion with Layer-Specific Modeling and Alignment for Data-Free Continual Learning
arxiv.org·1d
🗺️Region Inference
Flag this post
Building an Intelligent RAG System with Query Routing, Validation and Self-Correction
💬Interactive REPLs
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.org·3d
🌱Minimal ML
Flag this post
Loading...Loading more...