NetHack4 Philosophy
🔲Cellular Automata
Flag this post
Superhuman AI for Multiplayer Poker
🎮Verification Games
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
🧩Parser Combinators
Flag this post
Application of predictive machine learning in pen & paper RPG game design
arxiv.org·1d
✓Automated Theorem Proving
Flag this post
Tackling the Kidnapped Robot Problem via Sparse Feasible Hypothesis Sampling and Reliable Batched Multi-Stage Inference
arxiv.org·1d
🤖Robotics
Flag this post
Weakly Supervised Concept Learning with Class-Level Priors for Interpretable Medical Diagnosis
arxiv.org·1d
🔍CBMC
Flag this post
Artificial Intelligence in Elementary STEM Education: A Systematic Review of Current Applications and Future Challenges
arxiv.org·1d
🎯Complexity Classes
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·1d
📚Automata Learning
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·18h
🧪Property-Based Testing
Flag this post
Token-Regulated Group Relative Policy Optimization for Stable Reinforcement Learning in Large Language Models
arxiv.org·1d
🧩Parser Combinators
Flag this post
Cognitive Alignment in Personality Reasoning: Leveraging Prototype Theory for MBTI Inference
arxiv.org·1d
📚Automata Learning
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·2d
📝Term Rewriting
Flag this post
AI for pRedicting Exacerbations in KIDs with aSthma (AIRE-KIDS)
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Loading...Loading more...