Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
🧩Parser Combinators
Flag this post
Merlin L48 Spectrogram Dataset
arxiv.org·1d
📚Automata Learning
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
🔀Brzozowski Derivatives
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
💎Refinement Types
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
💬Mach Messages
Flag this post
Condition-Invariant fMRI Decoding of Speech Intelligibility with Deep State Space Model
arxiv.org·22h
🔀OCaml Multicore
Flag this post
AI-Driven Microfluidic Design Optimization via Hyperdimensional Feature Mapping & Reinforcement Learning
🔲Cellular Automata
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
🧱Immutable Infrastructure
Flag this post
GeneFlow: Translation of Single-cell Gene Expression to Histopathological Images via Rectified Flow
arxiv.org·1d
🧩Parser Combinators
Flag this post
OMEGA: Optimized Multimodal Position Encoding Index Derivation with Global Adaptive Scaling for Vision-Language Models
arxiv.org·1d
🔤Language Design
Flag this post
Optimizing Native Sparse Attention with Latent Attention and Local Global Alternating Strategies
arxiv.org·1d
📚Automata Learning
Flag this post
IL-PCSR: Legal Corpus for Prior Case and Statute Retrieval
arxiv.org·1d
🧩Parser Combinators
Flag this post
Markerless Augmented Reality Registration for Surgical Guidance: A Multi-Anatomy Clinical Accuracy Study
arxiv.org·22h
📐Linear Algebra
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·22h
🔍CBMC
Flag this post
Q-Sat AI: Machine Learning-Based Decision Support for Data Saturation in Qualitative Studies
arxiv.org·22h
📝Term Rewriting
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·22h
🔲Cellular Automata
Flag this post
Loading...Loading more...