Superhuman AI for Multiplayer Poker
🎮Verification Games
Flag this post
Don't Trust Smart People
⏱️Computational Complexity
Flag this post
The Paradox of a Principled Machine
🩹Self-Healing Systems
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
⏱️Computational Complexity
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
🔢Algebraic Data Types
Flag this post
The Case That A.I. Is Thinking
🔲Cellular Automata
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
🏗️Dune
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
🔬Reverse Engineering
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.org·1d
📚Automata Learning
Flag this post
Quantum AI: Are We Building Castles in the Clouds? by Arvind Sundararajan
🔲Cellular Automata
Flag this post
Dynamic Consensus Algorithm Optimization via Adaptive Multi-Agent Reinforcement Learning in Distributed Cognitive Architectures
🩹Self-Healing Systems
Flag this post
A toy model of corrigibility
lesswrong.com·2d
⏰Timed Automata
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·1d
📦Opam
Flag this post
Challenges in Credit Assignment for Multi-Agent Reinforcement Learning in Open Agent Systems
arxiv.org·2d
🔍CBMC
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·2d
🧩Parser Combinators
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Loading...Loading more...