Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
From Lossy to Lossless Reasoning
🧩Parser Combinators
Flag this post
The Learning Loop and LLMs
🏃Escape Analysis
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·11h
⏱️Computational Complexity
Flag this post
It Doesn’t Need to Be a Chatbot
towardsdatascience.com·15h
📚Automata Learning
Flag this post
A Comparative Analysis of LLM Adaptation: SFT, LoRA, and ICL in Data-Scarce Scenarios
arxiv.org·11h
📚Automata Learning
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·11h
🔲Cellular Automata
Flag this post
Region-Aware Reconstruction Strategy for Pre-training fMRI Foundation Model
arxiv.org·11h
📚Automata Learning
Flag this post
Variational Data-Consistent Assimilation
arxiv.org·11h
📐Linear Algebra
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·11h
🔲Cellular Automata
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·11h
🩹Self-Healing Systems
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 Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·11h
⚙️Compiler Design
Flag this post
Single-agent Reinforcement Learning Model for Regional Adaptive Traffic Signal Control
arxiv.org·11h
🔄Finite State Machines
Flag this post
Training LLMs Beyond Next Token Prediction - Filling the Mutual Information Gap
arxiv.org·11h
📚Automata Learning
Flag this post
Loading...Loading more...