🔁 Fixed-Point Theory - tiferrei · Scour

The Quantum Query Complexity of Finding a Tarski Fixed Point on the 2D Grid ⏱️Computational Complexity

arxiv.org·4d

Which Relations Can Be Generalized Implicitly? 🔁Fixpoint Theory

lesswrong.com·1d

research!rsc: Yacc is Not Dead 🧩Parser Combinators

research.swtch.com·5d·Lobsters

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·4d·Hacker News

Being-as-Appearing Under Articulation 📚Automata Learning

jimiwen.substack.com·3d·Substack

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔍CBMC

pvk.ca·5d·Hacker News

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets ⚖️Weighted Automata

arxiv.org·1d

Revisiting Anisotropy in Language Transformers: The Geometry of Learning Dynamics 📚Automata Learning

arxiv.org·1d

Elementary Condensation 🎯Hindley-Milner

lesswrong.com·6d

BERT-as-a-Judge: A Robust Alternative to Lexical Methods for Efficient Reference-Based LLM Evaluation 🧩Parser Combinators

arxiv.org·1d

Dictionary-Aligned Concept Control for Safeguarding Multimodal LLMs ⚖️Weighted Automata

arxiv.org·1d

On Formally Undecidable Propositions of Nondeterministic Complexity and Related Classes 🔢Computability Theory

arxiv.org·4d

Munkres' General Topology Autoformalized in Isabelle/HOL ➡️Category Theory

arxiv.org·4d

When Equality Fails as a Rewrite Principle: Provenance and Definedness for Measurement-Bearing Expressions 💎Refinement Types

arxiv.org·4d

Metacat: a categorical framework for formal systems ➡️Category Theory

arxiv.org·4d

A Decomposition Perspective to Long-context Reasoning for LLMs 🎯Hindley-Milner

arxiv.org·4d

Emotion Concepts and their Function in a Large Language Model 📚Automata Learning

arxiv.org·4d

Toward a Tractability Frontier for Exact Relevance Certification 🧮SMT Solvers

arxiv.org·5d

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation ⏳LTL

arxiv.org·5d

Detecting and Explaining (In-)equivalence of Context-Free Grammars 🧩Parser Combinators

arxiv.org·5d

Loading more...