Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
What Is Occult Grammar?
🧩Parser Combinators
Flag this post
From Lossy to Lossless Reasoning
🧩Parser Combinators
Flag this post
The Illustrated NeurIPS 2025: A Visual Map of the AI Frontier
newsletter.languagemodels.co·20h
🔲Cellular Automata
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·6h
🔲Cellular Automata
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·6h
🔤DSLs
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·6h
🧩Separation Logic
Flag this post
FLoRA: Fused forward-backward adapters for parameter efficient fine-tuning and reducing inference-time latencies of LLMs
arxiv.org·6h
📚Automata Learning
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·6h
🧩Parser Combinators
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·6h
🎯Hindley-Milner
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·6h
📚Automata Learning
Flag this post
DialectalArabicMMLU: Benchmarking Dialectal Capabilities in Arabic and Multilingual Language Models
arxiv.org·1d
🧩Parser Combinators
Flag this post
Multi-refined Feature Enhanced Sentiment Analysis Using Contextual Instruction
arxiv.org·6h
🧩Parser Combinators
Flag this post
AI-Driven Biomarker Discovery for Accelerated Orphan Drug Development
🧠Automated Reasoning
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·1d
🎮Verification Games
Flag this post
Intervaltree with Rust Back End
🏗️Dune
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🏗️Dune
Flag this post
Loading...Loading more...