What Is Occult Grammar?
🧩Parser Combinators
Flag this post
are-dependent-types-actually-erased
❓Existential Types
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
🔁Fixed-Point Theory
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
📚Automata Learning
Flag this post
A Project Is Not a Bundle of Tasks
🔧DevOps
Flag this post
Augmenting learning in neuro-embodied systems through neurobiological first principles
arxiv.org·14h
🔲Cellular Automata
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·14h
❓Existential Types
Flag this post
Application of predictive machine learning in pen & paper RPG game design
arxiv.org·14h
✓Automated Theorem Proving
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·14h
🛡️seL4
Flag this post
Neural Transparency: Mechanistic Interpretability Interfaces for Anticipating Model Behaviors for Personalized AI
arxiv.org·14h
🔲Cellular Automata
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·14h
✓Automated Theorem Proving
Flag this post
Decoding Kiroween
⚙️Compiler Design
Flag this post
Loading...Loading more...