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
Tea-Fi Redefines DeFi: One SuperApp. Infinite Yield. Powered by $TEA
hackernoon.com·11h
🔬Unikernels
Flag this post
The Illustrated NeurIPS 2025: A Visual Map of the AI Frontier
newsletter.languagemodels.co·1d
🔲Cellular Automata
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·18h
🔤DSLs
Flag this post
Machine Learning Fundamentals: Everything I Wish I Knew When I Started
📚Automata Learning
Flag this post
Molecular Alchemy: AI-Powered Design of Novel Compounds by Arvind Sundararajan
🤖Program Synthesis
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·18h
🧩Separation Logic
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·18h
🧩Parser Combinators
Flag this post
FLoRA: Fused forward-backward adapters for parameter efficient fine-tuning and reducing inference-time latencies of LLMs
arxiv.org·18h
📚Automata Learning
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·18h
🎯Hindley-Milner
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·18h
📚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·18h
🧩Parser Combinators
Flag this post
Loading...Loading more...