Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
We need to give LLMs human-like vision
📚Automata Learning
Flag this post
Tea-Fi Redefines DeFi: One SuperApp. Infinite Yield. Powered by $TEA
hackernoon.com·8h
🔬Unikernels
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·15h
📚Automata Learning
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·15h
🔲Cellular Automata
Flag this post
Schaltwerk – The IDE Without Editor
💻CLI Tools
Flag this post
What to Do When Your Credit Risk Model Works Today, but Breaks Six Months Later
towardsdatascience.com·1h
λFunctional Programming
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·15h
🔤DSLs
Flag this post
Machine Learning Fundamentals: Everything I Wish I Knew When I Started
📚Automata Learning
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·15h
🧩Separation Logic
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·15h
🧩Parser Combinators
Flag this post
FLoRA: Fused forward-backward adapters for parameter efficient fine-tuning and reducing inference-time latencies of LLMs
arxiv.org·15h
📚Automata Learning
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·15h
🎯Hindley-Milner
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·15h
📚Automata Learning
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🏗️Dune
Flag this post
DialectalArabicMMLU: Benchmarking Dialectal Capabilities in Arabic and Multilingual Language Models
arxiv.org·1d
🧩Parser Combinators
Flag this post
Loading...Loading more...