The Year of a Thousand Rooms
💾Retro Computing
Flag this post
AWK technical notes (2023)
🔀Brzozowski Derivatives
Flag this post
Is 'human' a risky AGI target
📚Automata Learning
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·4d
🔄Finite State Machines
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·5h
📦OPAM
Flag this post
Weak-To-Strong Generalization
lesswrong.com·2d
🔤Kleene Algebra
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·5h
✓Automated Theorem Proving
Flag this post
Benchmarking Generative AI Against Bayesian Optimization for Constrained Multi-Objective Inverse Design
arxiv.org·5h
🧮SMT Solvers
Flag this post
Personalized AI Scaffolds Synergistic Multi-Turn Collaboration in Creative Work
arxiv.org·1d
🔲Cellular Automata
Flag this post
In AI, Everything is Meta
🔲Cellular Automata
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.org·5h
📐Hoare Logic
Flag this post
Iterative Cut-Based PWA Approximation of Multi-Dimensional Nonlinear Systems
arxiv.org·5h
🔧ppx
Flag this post
Calibration Across Layers: Understanding Calibration Evolution in LLMs
arxiv.org·5h
⏳LTL
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·5h
🔍Formal Verification
Flag this post
Efficient Curvature-aware Graph Network
arxiv.org·5h
🕸️Graph Theory
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·5h
🧩Parser Combinators
Flag this post
Loading...Loading more...