🔣 Model Theory - Handler4605 · Scour

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality 📐TLA+

arxiv.org·5d

Neural circuits encode prior knowledge of temporal statistics 🤖Machine Learning

nature.com·1d

Visualizing Graph Structures Using Go and Graphviz 📐E-graphs

dominik.info·2d·Hacker News, r/golang, r/programming

Completeness as a fitness landscape for cognitive architectures 🧮Constraint Solvers

pnas.org·5d

Clones of pigmented words and realizations of special classes of monoids 🔷Lattice Theory

arxiv.org·20h

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis 📐TLA+

arxiv.org·20h

The UNDO Flip-Flop: A Controlled Probe for Reversible Semantic State Management in State Space Model 🔓Lock-Free Structures

arxiv.org·20h

Empirical Sufficiency Lower Bounds for Language Modeling with Locally-Bootstrapped Semantic Structures 🎯Embedding Models

arxiv.org·2d

Arch: An AI-Native Hardware Description Language for Register-Transfer Clocked Hardware Design ⚡Hardware Transactional Memory

arxiv.org·20h

Linguistic Frameworks Go Toe-to-Toe at Neuro-Symbolic Language Modeling 🎯Embedding Models

arxiv.org·2d

The Mystery Deepens: On the Query Complexity of Tarski Fixed Points 🧮SMT Solvers

arxiv.org·6d

TDA-RC: Task-Driven Alignment for Knowledge-Based Reasoning Chains in Large Language Models 🧮SMT Solvers

arxiv.org·20h

Skeleton-based Coherence Modeling in Narratives 🎯Embedding Models

arxiv.org·2d

Frege in the Flesh: Biolinguistics and the Neural Enforcement of Syntactic Structures 🔣Category Theory

arxiv.org·5d

Dioperads, Frobenius monoidal functors and duality 🔣Category Theory

arxiv.org·6d

GraphWalk: Enabling Reasoning in Large Language Models through Tool-Based Graph Navigation 🧠Query Planners

arxiv.org·5d

Quantum polymorphism characterisation of commutativity gadgets in all quantum models 🔷Lattice Theory

arxiv.org·5d

Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers 🔓Lock-Free Structures

arxiv.org·5d

Variational LSTM with Augmented Inputs: Nonlinear Response History Metamodeling with Aleatoric and Epistemic Uncertainty 🤖Machine Learning

arxiv.org·5d

Tensor invariants for multipartite entanglement classification 📇Vector Indexing

arxiv.org·5d

Loading more...