Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
💾Retro Computing
Flag this post
A generative adversarial network optimization method for damage detection and digital twinning by deep AI fault learning: Z24 Bridge structural health monitorin...
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·1d
🧩Parser Combinators
Flag this post
Chain of Pattern: Rethink
🔤Language Design
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·1d
🧩Parser Combinators
Flag this post
Reflections on Trusting Trust (1984)
🛡️seL4
Flag this post
Spiking Neural Networks: The Future of Brain-Inspired Computing
arxiv.org·2d
🔲Cellular Automata
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·5d
🔲Cellular Automata
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
✓Automated Theorem Proving
Flag this post
Loading...Loading more...