Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
AI Summarization Optimization
🧩Parser Combinators
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
👁️Observability
Flag this post
Navigating the Storm: Driving AI Agents
🔧DevOps
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·19h
🐫Embedded OCaml
Flag this post
A Guide To Being Persuasive About AI Dangers
lesswrong.com·10h
🔲Cellular Automata
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
💾Retro Computing
Flag this post
Deep Learning Approach to Anomaly Detection in Enterprise ETL Processes with Autoencoders
arxiv.org·1d
🔢Algebraic Data Types
Flag this post
How AI is Revolutionizing Malware Detection in Modern Software Systems
🔬Reverse Engineering
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·2d
🔄Finite State Machines
Flag this post
Building Your Own LLM-Powered Sports Analyst: A RAG Approach with Fine-tuning
🎯Hindley-Milner
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·2d
📝Term Rewriting
Flag this post
DialectalArabicMMLU: Benchmarking Dialectal Capabilities in Arabic and Multilingual Language Models
arxiv.org·2d
🧩Parser Combinators
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.org·5d
🔍CBMC
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·1d
🔲Cellular Automata
Flag this post
Loading...Loading more...